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

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

Compositional Reasoning in Intuitionistic Linear-Time ?-Calculus KAZMI Syed Asad Raza and ZHANG Wen-Hui 2009,20(8):2026-2036 [Abstract(4631)]  [View PDF(5766)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(5035)]  [View PDF(5270)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(5774)]  [View PDF(8162)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(4993)]  [View PDF(5556)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(5529)]  [View PDF(6789)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(4964)]  [View PDF(6171)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(5613)]  [View PDF(7543)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(5285)]  [View PDF(7593)626.21 K]

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

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

Facial Expression Manifold Based on Expression Similarity XU Shuang and JIA Yun-De 2009,20(8):2191-2198 [Abstract(5248)]  [View PDF(7153)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(5969)]  [View PDF(9657)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(5021)]  [View PDF(6897)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(7070)]  [View PDF(19067)1.99 M]

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

Genetic Algorithm Solution of Network Coding Optimization DENG Liang,ZHAO Jin and WANG Xin 2009,20(8):2269-2279 [Abstract(5709)]  [View PDF(7138)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(4429)]  [View PDF(7823)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(4612)]  [View PDF(6370)539.10 K]

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

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

Research on Unsupervised Word Sense Disambiguation WANG Rui-Qin and KONG Fan-Sheng 2009,20(8):2138-2152 [Abstract(8244)]  [View PDF(13246)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(10371)]  [View PDF(18687)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(5690)]  [View PDF(7290)939.85 K]