Volume 25,Issue 6,2014 Table of Contents

Other Issues:  
  
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(2457)]  [View PDF(2109)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(2269)]  [View PDF(2144)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(2202)]  [View PDF(2194)1.00 M]
  • Bug Localization Method Based on Gaussian Processes
  • CHEN Li-Guo and LIU Chao
  • 2014,25(6):1169-1179 [Abstract(2465)]  [View PDF(2393)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(2296)]  [View PDF(2324)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(2487)]  [View PDF(2359)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(2944)]  [View PDF(2488)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(2854)]  [View PDF(3014)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(2326)]  [View PDF(2635)1.03 M]
  • Fuzzy Propositional Logic System with Three Kinds of Negation and Its Applications
  • PAN Zheng-Hua
  • 2014,25(6):1255-1272 [Abstract(1978)]  [View PDF(2227)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(2204)]  [View PDF(3140)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(3203)]  [View PDF(3320)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(2263)]  [View PDF(2502)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(4082)]  [View PDF(2740)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(2275)]  [View PDF(2332)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(2648)]  [View PDF(2883)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(2533)]  [View PDF(2717)949.42 K]