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(5612)]  [View PDF(6880)675.76 K]

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

Compositional Reasoning in Intuitionistic Linear-Time ?-Calculus KAZMI Syed Asad Raza and ZHANG Wen-Hui 2009,20(8):2026-2036 [Abstract(4578)]  [View PDF(5250)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(4966)]  [View PDF(4726)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(5690)]  [View PDF(7398)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(4860)]  [View PDF(4906)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(5448)]  [View PDF(6189)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(4882)]  [View PDF(5684)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(5535)]  [View PDF(6840)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(5151)]  [View PDF(6999)626.21 K]

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

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

Facial Expression Manifold Based on Expression Similarity XU Shuang and JIA Yun-De 2009,20(8):2191-2198 [Abstract(5189)]  [View PDF(6455)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(5877)]  [View PDF(9039)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(4909)]  [View PDF(6288)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(6841)]  [View PDF(18091)1.99 M]

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

Genetic Algorithm Solution of Network Coding Optimization DENG Liang,ZHAO Jin and WANG Xin 2009,20(8):2269-2279 [Abstract(5614)]  [View PDF(6457)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(4336)]  [View PDF(6831)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(4490)]  [View PDF(5740)539.10 K]

Behavior-Driven Role-Based Trust Management LI Lan,FAN Lei and HUI Hong 2009,20(8):2298-2306 [Abstract(3933)]  [View PDF(5281)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(8235)]  [View PDF(9817)603.19 K]

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

Research on Unsupervised Word Sense Disambiguation WANG Rui-Qin and KONG Fan-Sheng 2009,20(8):2138-2152 [Abstract(8137)]  [View PDF(11465)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(10246)]  [View PDF(17386)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(5629)]  [View PDF(6715)939.85 K]