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(4195)]  [View PDF(4221)675.76 K]
  • Symbolic Model Checking of ETL
  • LIU Wan-Wei,WANG Ji and WANG Zhao-Fei
  • 2009,20(8):2015-2025 [Abstract(4222)]  [View PDF(3632)683.98 K]
  • Compositional Reasoning in Intuitionistic Linear-Time ?-Calculus
  • KAZMI Syed Asad Raza and ZHANG Wen-Hui
  • 2009,20(8):2026-2036 [Abstract(3429)]  [View PDF(3529)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(3633)]  [View PDF(2930)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(3926)]  [View PDF(5115)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(3492)]  [View PDF(2933)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(4231)]  [View PDF(4270)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(3673)]  [View PDF(3892)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(4101)]  [View PDF(4493)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(3645)]  [View PDF(4413)626.21 K]
  • Walking State Analysis Model for Legged Robots
  • XU Kai and CHEN Xiao-Ping
  • 2009,20(8):2170-2180 [Abstract(3630)]  [View PDF(3093)994.79 K]
  • Model of Argumentation
  • XIONG Cai-Quan and LI De-Hua
  • 2009,20(8):2181-2190 [Abstract(4319)]  [View PDF(3331)550.90 K]
  • Facial Expression Manifold Based on Expression Similarity
  • XU Shuang and JIA Yun-De
  • 2009,20(8):2191-2198 [Abstract(3994)]  [View PDF(4422)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(4534)]  [View PDF(6405)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(3469)]  [View PDF(4270)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(4592)]  [View PDF(13525)1.99 M]
  • Optimal Mechanism of Parallel Downloading
  • WANG Zheng,LUO Wan-Ming and YAN Bao-Ping
  • 2009,20(8):2255-2268 [Abstract(3244)]  [View PDF(3181)746.20 K]
  • Genetic Algorithm Solution of Network Coding Optimization
  • DENG Liang,ZHAO Jin and WANG Xin
  • 2009,20(8):2269-2279 [Abstract(4051)]  [View PDF(4178)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(3075)]  [View PDF(3367)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(3197)]  [View PDF(3510)539.10 K]
  • Behavior-Driven Role-Based Trust Management
  • LI Lan,FAN Lei and HUI Hong
  • 2009,20(8):2298-2306 [Abstract(2733)]  [View PDF(3364)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(6283)]  [View PDF(6598)603.19 K]
  • Research on Paraphrasing Technology
  • ZHAO Shi-Qi,LIU Ting and LI Sheng
  • 2009,20(8):2124-2137 [Abstract(5473)]  [View PDF(6898)720.40 K]
  • Research on Unsupervised Word Sense Disambiguation
  • WANG Rui-Qin and KONG Fan-Sheng
  • 2009,20(8):2138-2152 [Abstract(6129)]  [View PDF(7819)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(8203)]  [View PDF(13526)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(4264)]  [View PDF(4551)939.85 K]