Contents

Termination Analysis of Loops with Linear Assignment over Closed and Bounded Domains LI Yi,WU Wen-Yuan and FENG Yong 2014,25(6):1133-1142 [Abstract(3405)]  [View PDF(4643)614.59 K]

Logic of Multi-Threaded Programs for Non-Interference LI Qin,ZENG Qing-Kai and YUAN Zhi-Xiang 2014,25(6):1143-1153 [Abstract(3043)]  [View PDF(4637)590.74 K]

Automatic Generation of Pipeline Parallel Code for Regular DOACROSS Loops LIU Xiao-Xian,ZHAO Rong-Cai,ZHAO Jie and XU Jin-Long 2014,25(6):1154-1168 [Abstract(3225)]  [View PDF(5105)1.00 M]

Bug Localization Method Based on Gaussian Processes CHEN Li-Guo and LIU Chao 2014,25(6):1169-1179 [Abstract(3481)]  [View PDF(5397)627.35 K]

Service Network Planning Method for Mass Personalized Functional Requirements WANG Zhong-Jie,XU Fei and XU Xiao-Fei 2014,25(6):1180-1195 [Abstract(3096)]  [View PDF(5673)1.10 M]

Multi-User Oriented Load-Aware Dynamic Service Selection Model ZHU Yong,LI Wei and LUO Jun-Zhou 2014,25(6):1196-1211 [Abstract(3583)]  [View PDF(5396)1.12 M]

Contents

Denotational Semantics of Tabular Expressions ZHANG Peng,LIU Lei,LIU Hua-Xiao and JIN Ying 2014,25(6):1212-1224 [Abstract(4046)]  [View PDF(5550)647.60 K]

Argumentation Model Based on Certainty-Factor and Algorithms of Argument Evaluation XIONG Cai-Quan,OUYANG Yong and MEI Qing 2014,25(6):1225-1238 [Abstract(3831)]  [View PDF(6390)357.53 K]

Contents

Label Propagation Using Sparse Approximated Nearest Feature Space Embedding TAO Jian-Wen,Fu-Lai CHUNG,WANG Shi-Tong and YAO Qi-Fu 2014,25(6):1239-1254 [Abstract(3248)]  [View PDF(5476)1.03 M]

Fuzzy Propositional Logic System with Three Kinds of Negation and Its Applications PAN Zheng-Hua 2014,25(6):1255-1272 [Abstract(2838)]  [View PDF(4966)951.29 K]

Remote Attestation Project of the Running Environment of the Trusted Terminal TAN Liang and CHEN Ju 2014,25(6):1273-1290 [Abstract(3181)]  [View PDF(7149)1.37 M]

Contents

Optimal Stopping Decision Method for Routing of Opportunistic Networks ZHANG San-Feng,HUANG Di,CHEN Zhou and WU Guo-Xin 2014,25(6):1291-1300 [Abstract(4237)]  [View PDF(5937)655.24 K]

Contents

Research on Network Measurement of Structured P2P Network YAN Jia,YING Ling-Yun,LIU Hai-Feng,SU Pu-Rui and FENG Deng-Guo 2014,25(6):1301-1315 [Abstract(3199)]  [View PDF(5237)831.17 K]

Contents

Resolution Strategy of Hidden Node Collision Based on Collision Indication and Grouping LI Yong-Jun,XIE Rong and TAN Xiao-Qing 2014,25(6):1316-1327 [Abstract(4967)]  [View PDF(5302)679.11 K]

Contents

Mapping Algorithm for Service Aggregation in Network Virtualization JIANG Yi-Ming,LAN Ju-Long,CHENG Dong-Nian and WANG Zhi-Ming 2014,25(6):1328-1338 [Abstract(3073)]  [View PDF(5383)650.07 K]

High Performance Expandable Data Center Networking Structure ZHU Gui-Ming,XIE Xiang-Hui,GUO De-Ke,LU Fei-Fei and TAO Zhi-Rong 2014,25(6):1339-1351 [Abstract(3862)]  [View PDF(6152)1.46 M]

Neighbor Discovery Algorithm in Mobile Low Duty Cycle WSNs CHEN Liang-Yin,YAN Bing-Shu,ZHANG Jing-Yu,HU Jian-Bo,LIU Zhen-Lei,LIU Yan,XU Zheng-Kun and LUO Qian 2014,25(6):1352-1368 [Abstract(3436)]  [View PDF(5798)949.42 K]