Volume 20,Issue 8,2009 Table of Contents

Other Issues:  
  
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(4045)]  [View PDF(4133)675.76 K]
  • Symbolic Model Checking of ETL
  • LIU Wan-Wei,WANG Ji and WANG Zhao-Fei
  • 2009,20(8):2015-2025 [Abstract(4091)]  [View PDF(3491)683.98 K]
  • Compositional Reasoning in Intuitionistic Linear-Time ?-Calculus
  • KAZMI Syed Asad Raza and ZHANG Wen-Hui
  • 2009,20(8):2026-2036 [Abstract(3283)]  [View PDF(3444)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(3471)]  [View PDF(2857)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(3692)]  [View PDF(5027)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(3324)]  [View PDF(2849)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(4064)]  [View PDF(4181)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(3511)]  [View PDF(3803)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(3878)]  [View PDF(4316)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(3481)]  [View PDF(4321)626.21 K]
  • Walking State Analysis Model for Legged Robots
  • XU Kai and CHEN Xiao-Ping
  • 2009,20(8):2170-2180 [Abstract(3484)]  [View PDF(3025)994.79 K]
  • Model of Argumentation
  • XIONG Cai-Quan and LI De-Hua
  • 2009,20(8):2181-2190 [Abstract(4124)]  [View PDF(3250)550.90 K]
  • Facial Expression Manifold Based on Expression Similarity
  • XU Shuang and JIA Yun-De
  • 2009,20(8):2191-2198 [Abstract(3850)]  [View PDF(4321)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(4302)]  [View PDF(6230)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(3261)]  [View PDF(4135)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(4318)]  [View PDF(13332)1.99 M]
  • Optimal Mechanism of Parallel Downloading
  • WANG Zheng,LUO Wan-Ming and YAN Bao-Ping
  • 2009,20(8):2255-2268 [Abstract(3110)]  [View PDF(3098)746.20 K]
  • Genetic Algorithm Solution of Network Coding Optimization
  • DENG Liang,ZHAO Jin and WANG Xin
  • 2009,20(8):2269-2279 [Abstract(3867)]  [View PDF(4084)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(2923)]  [View PDF(3204)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(3033)]  [View PDF(3443)539.10 K]
  • Behavior-Driven Role-Based Trust Management
  • LI Lan,FAN Lei and HUI Hong
  • 2009,20(8):2298-2306 [Abstract(2608)]  [View PDF(3242)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(6004)]  [View PDF(6334)603.19 K]
  • Research on Paraphrasing Technology
  • ZHAO Shi-Qi,LIU Ting and LI Sheng
  • 2009,20(8):2124-2137 [Abstract(5195)]  [View PDF(6624)720.40 K]
  • Research on Unsupervised Word Sense Disambiguation
  • WANG Rui-Qin and KONG Fan-Sheng
  • 2009,20(8):2138-2152 [Abstract(5837)]  [View PDF(7471)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(7867)]  [View PDF(13360)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(4097)]  [View PDF(4445)939.85 K]