Volume 20,Issue 8,2009 Table of Contents
Optimization of Bounded Model CheckingYANG Jin-Ji,SU Kai-Le,LUO Xiang-Yu,LIN Han and XIAO Yin-Yi2009,20(8):2005-2014 [Abstract(5712)] [View PDF(7646)675.76 K]Symbolic Model Checking of ETLLIU Wan-Wei,WANG Ji and WANG Zhao-Fei2009,20(8):2015-2025 [Abstract(5805)] [View PDF(7408)683.98 K]Compositional Reasoning in Intuitionistic Linear-Time ?-CalculusKAZMI Syed Asad Raza and ZHANG Wen-Hui2009,20(8):2026-2036 [Abstract(4676)] [View PDF(5949)530.99 K]Automated Theorem Prover for Pointer LogicWANG Zhen-Ming,CHEN Yi-Yun and WANG Zhi-Fang2009,20(8):2037-2050 [Abstract(5095)] [View PDF(5415)689.84 K]Web Service QoS Prediction ApproachSHAO Ling-Shuang,ZHOU Li,ZHAO Jun-Feng,XIE Bing and MEI Hong2009,20(8):2062-2073 [Abstract(5805)] [View PDF(8325)688.01 K]Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal LogicTAO Qiu-Ming,ZHAO Chen and GUO Lian2009,20(8):2074-2086 [Abstract(5033)] [View PDF(5751)787.37 K]Test Method for BEPL-Based Web Service Composition Based on Data Flow AnalysisDONG Wen-Li and HU Jian-Hua2009,20(8):2102-2112 [Abstract(5559)] [View PDF(6915)497.87 K]Semantic Description Framework for Architecture-Centric Model TransformationHOU Jin-Kui,WANG Hai-Yang,MA Jun,WAN Jian-Cheng and YANG Xiao2009,20(8):2113-2123 [Abstract(4992)] [View PDF(6287)634.54 K]Efficient Kernel Principal Component Analysis Algorithm for Large-Scale Data SetSHI Wei-Ya,GUO Yue-Fei and XUE Xiang-Yang2009,20(8):2153-2159 [Abstract(5644)] [View PDF(7690)502.05 K]Automated Negotiation Decision Model Based on Machine LearningCHENG Yu,GAO Ji,GU Hua-Mao and FU Zhao-Yang2009,20(8):2160-2169 [Abstract(5343)] [View PDF(7724)626.21 K]Walking State Analysis Model for Legged RobotsXU Kai and CHEN Xiao-Ping2009,20(8):2170-2180 [Abstract(4944)] [View PDF(6011)994.79 K]Model of ArgumentationXIONG Cai-Quan and LI De-Hua2009,20(8):2181-2190 [Abstract(6010)] [View PDF(6269)550.90 K]Facial Expression Manifold Based on Expression SimilarityXU Shuang and JIA Yun-De2009,20(8):2191-2198 [Abstract(5277)] [View PDF(7304)676.91 K]Efficient Regular Expression Compression Algorithm for Deep Packet InspectionXU Qian,E Yue-Peng,GE Jing-Guo and QIAN Hua-Lin2009,20(8):2214-2226 [Abstract(6007)] [View PDF(9824)731.87 K]Selective Replication-Based Data Delivery for Delay Tolerant Mobile Sensor NetworksZHU Jin-Qi,LIU Ming,GONG Hai-Gang,CHEN Gui-Hai,XU Fu-Long and SONG Chao2009,20(8):2227-2240 [Abstract(5052)] [View PDF(7047)772.02 K]Community Discovery Method in Networks Based on Topological PotentialGAN Wen-Yan,HE Nan,LI De-Yi and WANG Jian-Min2009,20(8):2241-2254 [Abstract(7143)] [View PDF(19250)1.99 M]Optimal Mechanism of Parallel DownloadingWANG Zheng,LUO Wan-Ming and YAN Bao-Ping2009,20(8):2255-2268 [Abstract(4485)] [View PDF(6165)746.20 K]Genetic Algorithm Solution of Network Coding OptimizationDENG Liang,ZHAO Jin and WANG Xin2009,20(8):2269-2279 [Abstract(5730)] [View PDF(7339)615.47 K]Alias Filtering Technique in Alias ResolutionZHAO Hong-Hua,BAI Hua-Li,CHEN Ming and WEI Zhen-Han2009,20(8):2280-2288 [Abstract(4465)] [View PDF(8071)530.13 K]Interleaving Coded Multi-Threshold Scheduling AlgorithmYI Peng,WANG Bin-Qiang,CHEN Shu-Qiao and LI Hui2009,20(8):2289-2297 [Abstract(4669)] [View PDF(6532)539.10 K]Behavior-Driven Role-Based Trust ManagementLI Lan,FAN Lei and HUI Hong2009,20(8):2298-2306 [Abstract(4047)] [View PDF(6410)506.54 K]
Program Verification Techniques Based on Separation LogicHUANG Da-Ming and ZENG Qing-Kai2009,20(8):2051-2061 [Abstract(8368)] [View PDF(11856)603.19 K]Research on Paraphrasing TechnologyZHAO Shi-Qi,LIU Ting and LI Sheng2009,20(8):2124-2137 [Abstract(7848)] [View PDF(12985)720.40 K]Research on Unsupervised Word Sense DisambiguationWANG Rui-Qin and KONG Fan-Sheng2009,20(8):2138-2152 [Abstract(8290)] [View PDF(13886)803.13 K]Peer-to-Peer Key Technologies in Mobile InternetLI Wei,XU Zheng-Quan and YANG Zhu2009,20(8):2199-2213 [Abstract(10425)] [View PDF(19302)2.05 M]
Graph Transformation Based Description Language for Model RefactoringsLIU Hui,MA Zhi-Yi and SHAO Wei-Zhong2009,20(8):2087-2101 [Abstract(5722)] [View PDF(7430)939.85 K]