Contents

Optimization of Bounded Model Checking YANG Jin-Ji,SU Kai-Le,LUO Xiang-Yu,LIN Han and XIAO Yin-Yi 2009,20(8):2005-2014 [Abstract(6388)]  [View PDF(8697)675.76 K]

Symbolic Model Checking of ETL LIU Wan-Wei,WANG Ji and WANG Zhao-Fei 2009,20(8):2015-2025 [Abstract(6412)]  [View PDF(8842)683.98 K]

Compositional Reasoning in Intuitionistic Linear-Time ?-Calculus KAZMI Syed Asad Raza and ZHANG Wen-Hui 2009,20(8):2026-2036 [Abstract(5309)]  [View PDF(7019)530.99 K]

Automated Theorem Prover for Pointer Logic WANG Zhen-Ming,CHEN Yi-Yun and WANG Zhi-Fang 2009,20(8):2037-2050 [Abstract(5873)]  [View PDF(6462)689.84 K]

Web Service QoS Prediction Approach SHAO Ling-Shuang,ZHOU Li,ZHAO Jun-Feng,XIE Bing and MEI Hong 2009,20(8):2062-2073 [Abstract(6469)]  [View PDF(9496)688.01 K]

Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic TAO Qiu-Ming,ZHAO Chen and GUO Lian 2009,20(8):2074-2086 [Abstract(5774)]  [View PDF(6844)787.37 K]

Test Method for BEPL-Based Web Service Composition Based on Data Flow Analysis DONG Wen-Li and HU Jian-Hua 2009,20(8):2102-2112 [Abstract(6318)]  [View PDF(7915)497.87 K]

Semantic Description Framework for Architecture-Centric Model Transformation HOU Jin-Kui,WANG Hai-Yang,MA Jun,WAN Jian-Cheng and YANG Xiao 2009,20(8):2113-2123 [Abstract(5658)]  [View PDF(7241)634.54 K]

Efficient Kernel Principal Component Analysis Algorithm for Large-Scale Data Set SHI Wei-Ya,GUO Yue-Fei and XUE Xiang-Yang 2009,20(8):2153-2159 [Abstract(6385)]  [View PDF(8797)502.05 K]

Automated Negotiation Decision Model Based on Machine Learning CHENG Yu,GAO Ji,GU Hua-Mao and FU Zhao-Yang 2009,20(8):2160-2169 [Abstract(6236)]  [View PDF(8899)626.21 K]

Walking State Analysis Model for Legged Robots XU Kai and CHEN Xiao-Ping 2009,20(8):2170-2180 [Abstract(5630)]  [View PDF(7147)994.79 K]

Model of Argumentation XIONG Cai-Quan and LI De-Hua 2009,20(8):2181-2190 [Abstract(6675)]  [View PDF(7306)550.90 K]

Facial Expression Manifold Based on Expression Similarity XU Shuang and JIA Yun-De 2009,20(8):2191-2198 [Abstract(5884)]  [View PDF(8358)676.91 K]

Efficient Regular Expression Compression Algorithm for Deep Packet Inspection XU Qian,E Yue-Peng,GE Jing-Guo and QIAN Hua-Lin 2009,20(8):2214-2226 [Abstract(6639)]  [View PDF(10945)731.87 K]

Selective Replication-Based Data Delivery for Delay Tolerant Mobile Sensor Networks ZHU Jin-Qi,LIU Ming,GONG Hai-Gang,CHEN Gui-Hai,XU Fu-Long and SONG Chao 2009,20(8):2227-2240 [Abstract(5938)]  [View PDF(8087)772.02 K]

Community Discovery Method in Networks Based on Topological Potential GAN Wen-Yan,HE Nan,LI De-Yi and WANG Jian-Min 2009,20(8):2241-2254 [Abstract(8050)]  [View PDF(20505)1.99 M]

Optimal Mechanism of Parallel Downloading WANG Zheng,LUO Wan-Ming and YAN Bao-Ping 2009,20(8):2255-2268 [Abstract(5082)]  [View PDF(7199)746.20 K]

Genetic Algorithm Solution of Network Coding Optimization DENG Liang,ZHAO Jin and WANG Xin 2009,20(8):2269-2279 [Abstract(6445)]  [View PDF(8427)615.47 K]

Alias Filtering Technique in Alias Resolution ZHAO Hong-Hua,BAI Hua-Li,CHEN Ming and WEI Zhen-Han 2009,20(8):2280-2288 [Abstract(5197)]  [View PDF(9269)530.13 K]

Interleaving Coded Multi-Threshold Scheduling Algorithm YI Peng,WANG Bin-Qiang,CHEN Shu-Qiao and LI Hui 2009,20(8):2289-2297 [Abstract(5350)]  [View PDF(7636)539.10 K]

Behavior-Driven Role-Based Trust Management LI Lan,FAN Lei and HUI Hong 2009,20(8):2298-2306 [Abstract(4667)]  [View PDF(7545)506.54 K]

Review Articles

Program Verification Techniques Based on Separation Logic HUANG Da-Ming and ZENG Qing-Kai 2009,20(8):2051-2061 [Abstract(9034)]  [View PDF(13191)603.19 K]

Research on Paraphrasing Technology ZHAO Shi-Qi,LIU Ting and LI Sheng 2009,20(8):2124-2137 [Abstract(8553)]  [View PDF(14518)720.40 K]

Research on Unsupervised Word Sense Disambiguation WANG Rui-Qin and KONG Fan-Sheng 2009,20(8):2138-2152 [Abstract(9066)]  [View PDF(15425)803.13 K]

Peer-to-Peer Key Technologies in Mobile Internet LI Wei,XU Zheng-Quan and YANG Zhu 2009,20(8):2199-2213 [Abstract(11201)]  [View PDF(20857)2.05 M]

Online First

Graph Transformation Based Description Language for Model Refactorings LIU Hui,MA Zhi-Yi and SHAO Wei-Zhong 2009,20(8):2087-2101 [Abstract(6458)]  [View PDF(8621)939.85 K]