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(4011)]  [View PDF(5571)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(3490)]  [View PDF(5650)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(3853)]  [View PDF(6145)1.00 M]

Bug Localization Method Based on Gaussian Processes CHEN Li-Guo and LIU Chao 2014,25(6):1169-1179 [Abstract(4037)]  [View PDF(6421)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(3827)]  [View PDF(6654)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(4292)]  [View PDF(6493)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(4747)]  [View PDF(6674)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(4503)]  [View PDF(7605)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(3859)]  [View PDF(6539)1.03 M]

Fuzzy Propositional Logic System with Three Kinds of Negation and Its Applications PAN Zheng-Hua 2014,25(6):1255-1272 [Abstract(3444)]  [View PDF(6024)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(3785)]  [View PDF(8311)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(5020)]  [View PDF(6991)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(3776)]  [View PDF(6307)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(5573)]  [View PDF(6405)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(3622)]  [View PDF(7085)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(4644)]  [View PDF(7195)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(4077)]  [View PDF(6807)949.42 K]