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(5712)]  [View PDF(7646)675.76 K]
  • Symbolic Model Checking of ETL
  • LIU Wan-Wei,WANG Ji and WANG Zhao-Fei
  • 2009,20(8):2015-2025 [Abstract(5805)]  [View PDF(7408)683.98 K]
  • Compositional Reasoning in Intuitionistic Linear-Time ?-Calculus
  • KAZMI Syed Asad Raza and ZHANG Wen-Hui
  • 2009,20(8):2026-2036 [Abstract(4676)]  [View PDF(5949)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(5095)]  [View PDF(5415)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(5805)]  [View PDF(8325)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(5033)]  [View PDF(5751)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(5559)]  [View PDF(6915)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(4992)]  [View PDF(6287)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(5644)]  [View PDF(7690)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(5343)]  [View PDF(7724)626.21 K]
  • Walking State Analysis Model for Legged Robots
  • XU Kai and CHEN Xiao-Ping
  • 2009,20(8):2170-2180 [Abstract(4944)]  [View PDF(6011)994.79 K]
  • Model of Argumentation
  • XIONG Cai-Quan and LI De-Hua
  • 2009,20(8):2181-2190 [Abstract(6010)]  [View PDF(6269)550.90 K]
  • Facial Expression Manifold Based on Expression Similarity
  • XU Shuang and JIA Yun-De
  • 2009,20(8):2191-2198 [Abstract(5277)]  [View PDF(7304)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(6007)]  [View PDF(9824)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(5052)]  [View PDF(7047)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(7143)]  [View PDF(19250)1.99 M]
  • Optimal Mechanism of Parallel Downloading
  • WANG Zheng,LUO Wan-Ming and YAN Bao-Ping
  • 2009,20(8):2255-2268 [Abstract(4485)]  [View PDF(6165)746.20 K]
  • Genetic Algorithm Solution of Network Coding Optimization
  • DENG Liang,ZHAO Jin and WANG Xin
  • 2009,20(8):2269-2279 [Abstract(5730)]  [View PDF(7339)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(4465)]  [View PDF(8071)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(4669)]  [View PDF(6532)539.10 K]
  • Behavior-Driven Role-Based Trust Management
  • LI Lan,FAN Lei and HUI Hong
  • 2009,20(8):2298-2306 [Abstract(4047)]  [View PDF(6410)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(8368)]  [View PDF(11856)603.19 K]
  • Research on Paraphrasing Technology
  • ZHAO Shi-Qi,LIU Ting and LI Sheng
  • 2009,20(8):2124-2137 [Abstract(7848)]  [View PDF(12985)720.40 K]
  • Research on Unsupervised Word Sense Disambiguation
  • WANG Rui-Qin and KONG Fan-Sheng
  • 2009,20(8):2138-2152 [Abstract(8290)]  [View PDF(13886)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(10425)]  [View PDF(19302)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(5722)]  [View PDF(7430)939.85 K]