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(4627)]  [View PDF(4901)675.76 K]
  • Symbolic Model Checking of ETL
  • LIU Wan-Wei,WANG Ji and WANG Zhao-Fei
  • 2009,20(8):2015-2025 [Abstract(4557)]  [View PDF(3897)683.98 K]
  • Compositional Reasoning in Intuitionistic Linear-Time ?-Calculus
  • KAZMI Syed Asad Raza and ZHANG Wen-Hui
  • 2009,20(8):2026-2036 [Abstract(3795)]  [View PDF(3714)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(3991)]  [View PDF(3113)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(4348)]  [View PDF(5450)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(3869)]  [View PDF(3111)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(4582)]  [View PDF(4462)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(4081)]  [View PDF(4091)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(4522)]  [View PDF(4830)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(4018)]  [View PDF(5113)626.21 K]
  • Walking State Analysis Model for Legged Robots
  • XU Kai and CHEN Xiao-Ping
  • 2009,20(8):2170-2180 [Abstract(3940)]  [View PDF(3327)994.79 K]
  • Model of Argumentation
  • XIONG Cai-Quan and LI De-Hua
  • 2009,20(8):2181-2190 [Abstract(4745)]  [View PDF(3564)550.90 K]
  • Facial Expression Manifold Based on Expression Similarity
  • XU Shuang and JIA Yun-De
  • 2009,20(8):2191-2198 [Abstract(4285)]  [View PDF(4668)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(4877)]  [View PDF(6890)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(3931)]  [View PDF(4623)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(5067)]  [View PDF(14210)1.99 M]
  • Optimal Mechanism of Parallel Downloading
  • WANG Zheng,LUO Wan-Ming and YAN Bao-Ping
  • 2009,20(8):2255-2268 [Abstract(3543)]  [View PDF(3419)746.20 K]
  • Genetic Algorithm Solution of Network Coding Optimization
  • DENG Liang,ZHAO Jin and WANG Xin
  • 2009,20(8):2269-2279 [Abstract(4503)]  [View PDF(4505)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(3412)]  [View PDF(3680)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(3506)]  [View PDF(3791)539.10 K]
  • Behavior-Driven Role-Based Trust Management
  • LI Lan,FAN Lei and HUI Hong
  • 2009,20(8):2298-2306 [Abstract(3024)]  [View PDF(3565)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(6793)]  [View PDF(7057)603.19 K]
  • Research on Paraphrasing Technology
  • ZHAO Shi-Qi,LIU Ting and LI Sheng
  • 2009,20(8):2124-2137 [Abstract(6035)]  [View PDF(7752)720.40 K]
  • Research on Unsupervised Word Sense Disambiguation
  • WANG Rui-Qin and KONG Fan-Sheng
  • 2009,20(8):2138-2152 [Abstract(6690)]  [View PDF(8349)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(8819)]  [View PDF(14083)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(4696)]  [View PDF(4844)939.85 K]