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(1977)]  [View PDF(1838)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(1787)]  [View PDF(1888)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(1678)]  [View PDF(1873)1.00 M]
  • Bug Localization Method Based on Gaussian Processes
  • CHEN Li-Guo and LIU Chao
  • 2014,25(6):1169-1179 [Abstract(1965)]  [View PDF(2136)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(1830)]  [View PDF(1922)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(1894)]  [View PDF(2038)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(2302)]  [View PDF(2188)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(2320)]  [View PDF(2273)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(1758)]  [View PDF(2258)1.03 M]
  • Fuzzy Propositional Logic System with Three Kinds of Negation and Its Applications
  • PAN Zheng-Hua
  • 2014,25(6):1255-1272 [Abstract(1536)]  [View PDF(1917)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(1635)]  [View PDF(2570)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(2521)]  [View PDF(3023)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(1803)]  [View PDF(2174)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(3601)]  [View PDF(2474)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(1836)]  [View PDF(1919)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(2059)]  [View PDF(2408)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(1950)]  [View PDF(2433)949.42 K]