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(4097)]  [View PDF(4156)675.76 K]
  • Symbolic Model Checking of ETL
  • LIU Wan-Wei,WANG Ji and WANG Zhao-Fei
  • 2009,20(8):2015-2025 [Abstract(4136)]  [View PDF(3528)683.98 K]
  • Compositional Reasoning in Intuitionistic Linear-Time ?-Calculus
  • KAZMI Syed Asad Raza and ZHANG Wen-Hui
  • 2009,20(8):2026-2036 [Abstract(3337)]  [View PDF(3474)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(3523)]  [View PDF(2890)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(3776)]  [View PDF(5056)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(3375)]  [View PDF(2881)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(4127)]  [View PDF(4217)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(3569)]  [View PDF(3844)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(3950)]  [View PDF(4372)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(3536)]  [View PDF(4353)626.21 K]
  • Walking State Analysis Model for Legged Robots
  • XU Kai and CHEN Xiao-Ping
  • 2009,20(8):2170-2180 [Abstract(3540)]  [View PDF(3050)994.79 K]
  • Model of Argumentation
  • XIONG Cai-Quan and LI De-Hua
  • 2009,20(8):2181-2190 [Abstract(4199)]  [View PDF(3280)550.90 K]
  • Facial Expression Manifold Based on Expression Similarity
  • XU Shuang and JIA Yun-De
  • 2009,20(8):2191-2198 [Abstract(3896)]  [View PDF(4357)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(4385)]  [View PDF(6278)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(3336)]  [View PDF(4167)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(4408)]  [View PDF(13387)1.99 M]
  • Optimal Mechanism of Parallel Downloading
  • WANG Zheng,LUO Wan-Ming and YAN Bao-Ping
  • 2009,20(8):2255-2268 [Abstract(3155)]  [View PDF(3126)746.20 K]
  • Genetic Algorithm Solution of Network Coding Optimization
  • DENG Liang,ZHAO Jin and WANG Xin
  • 2009,20(8):2269-2279 [Abstract(3939)]  [View PDF(4112)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(2971)]  [View PDF(3241)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(3081)]  [View PDF(3465)539.10 K]
  • Behavior-Driven Role-Based Trust Management
  • LI Lan,FAN Lei and HUI Hong
  • 2009,20(8):2298-2306 [Abstract(2652)]  [View PDF(3274)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(6073)]  [View PDF(6421)603.19 K]
  • Research on Paraphrasing Technology
  • ZHAO Shi-Qi,LIU Ting and LI Sheng
  • 2009,20(8):2124-2137 [Abstract(5285)]  [View PDF(6713)720.40 K]
  • Research on Unsupervised Word Sense Disambiguation
  • WANG Rui-Qin and KONG Fan-Sheng
  • 2009,20(8):2138-2152 [Abstract(5925)]  [View PDF(7605)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(7972)]  [View PDF(13419)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(4166)]  [View PDF(4480)939.85 K]