Volume 26,Issue 8,2015 Table of Contents

Other Issues:  
  
Contents

  • GUI Test Suite Reduction Techniques Based on Event Handler Functions
  • CHEN Jun-Cheng, XUE Yun-Zhi, TAO Qiu-Ming and ZHAO Chen
  • 2015,26(8):1871-1885 [Abstract(1942)]  [View PDF(1998)1.15 M]
  • Efficient Service Selection Approach Based on Functionality Folding
  • BAI Lin, YE Dan, WEI Jun and HUANG Tao
  • 2015,26(8):1886-1906 [Abstract(1836)]  [View PDF(2036)1.43 M]
  • Contents

  • Multi-User Server Program Self-Recovery System
  • SHI Yi, FENG Yu-Sheng, QI Yong and SUN Wei
  • 2015,26(8):1907-1924 [Abstract(2578)]  [View PDF(2408)1.45 M]
  • Contents

  • Dominant Statement(s) Selection in Testing Programs with Flag Variables
  • GONG Dun-Wei, ZHONG Chao-Qun and YAO Xiang-Juan
  • 2015,26(8):1925-1936 [Abstract(1681)]  [View PDF(1793)803.03 K]
  • Method of Solving Abductive Reasoning Problem via Hitting Set
  • YU Quan, LI Cheng-Qian, SHEN Yu-Ming and WANG Ju
  • 2015,26(8):1937-1945 [Abstract(1571)]  [View PDF(1904)730.12 K]
  • C2C E-Commerce Trust Algorithm Based on Trust Network
  • GAN Zao-Bin, ZENG Can, MA Yao and LU Hong-Wei
  • 2015,26(8):1946-1959 [Abstract(1596)]  [View PDF(2035)1.20 M]
  • Fast Complex Valued Dictionary Learning Method for Sparse Representation
  • HAO Hong-Xing, WU Ling-Da and HUANG Wei
  • 2015,26(8):1960-1967 [Abstract(1261)]  [View PDF(2118)1.22 M]
  • Symbolic Model Checker for Propositional Projection Temporal Logic
  • PANG Tao, DUAN Zhen-Hua and LIU Xiao-Fang
  • 2015,26(8):1968-1982 [Abstract(1381)]  [View PDF(2105)1.13 M]
  • Energy Balance of Mixed Data Transmission in 1D Sensor Networks
  • XIA Xian-Jin, LI Shi-Ning, ZHANG Yu, LI Zhi-Gang and YANG Zhe
  • 2015,26(8):1983-2006 [Abstract(1541)]  [View PDF(1856)1.43 M]
  • Formalized Descriptions of Dynamic Reorganizations of Multi-Subnet Composited Complex Network Based on Vector Space
  • SUI Yi, SHAO Feng-Jing, SUN Ren-Cheng, LI Shu-Jing and WU Shun-Yao
  • 2015,26(8):2007-2019 [Abstract(1820)]  [View PDF(1855)961.52 K]
  • Model and Algorithm of Local and On-Demand Maintenance of Clusters in Sensing Layer of the Internet of Things
  • HU Xiang-Dong, XU Hui-Fen and ZHANG Li
  • 2015,26(8):2020-2040 [Abstract(1528)]  [View PDF(1503)2.49 M]
  • Transmission Delay Prediction Based Data Allocation Scheme for Concurrent Multipath Transfer
  • DU Wen-Feng, LAI Li-Qian and WU Zhen
  • 2015,26(8):2041-2055 [Abstract(1614)]  [View PDF(2047)1.03 M]
  • Data Placement Strategy for MapReduce Cluster Environment
  • XUN Ya-Ling, ZHANG Ji-Fu and QIN Xiao
  • 2015,26(8):2056-2073 [Abstract(2242)]  [View PDF(2540)1.07 M]
  • Approach of Quantifying Virtual Machine Performance Interference Based on Hardware Performance Counter
  • WANG Sa, ZHANG Wen-Bo, WU Heng, SONG Yun-Kui, WEI Jun, ZHONG Hua and HUANG Tao
  • 2015,26(8):2074-2090 [Abstract(1764)]  [View PDF(1864)1.41 M]
  • Energy Consumption Optimization Data Placement Algorithm for MapReduce System
  • SONG Jie, WANG Zhi, LI Tian-Tian and YU Ge
  • 2015,26(8):2091-2110 [Abstract(2185)]  [View PDF(2037)1.26 M]
  • Energy-Efficient Scheduling for Real-Time Tasks by Rolling-Horizon Optimization in Virtualized Clouds
  • CHEN Chao, ZHU Xiao-Min, CHEN Huang-Ke, WANG Ji, JI Hao-Ran and BAO Wei-Dong
  • 2015,26(8):2111-2123 [Abstract(1909)]  [View PDF(2112)960.73 K]
  • Transparent Privacy Protection Based on Virtual Machine Monitor
  • REN Jian-Bao, QI Yong, DAI Yue-Hua, WANG Xiao-Guang, XUAN Yu and SHI Yi
  • 2015,26(8):2124-2137 [Abstract(2032)]  [View PDF(1814)1.08 M]
  • Approach to Performance Optimization of Mashup Operation
  • ZHANG Peng, LIU Qing-Yun, XU Ke-Fu, LIN Hai-Lun, SUN Yong and TAN Jian-Long
  • 2015,26(8):2138-2154 [Abstract(1754)]  [View PDF(1867)1.11 M]
  • Review Articles

  • Model Abstraction for Stochastic Model Checking
  • LIU Yang, LI Xuan-Dong and MA Yan
  • 2015,26(8):1853-1870 [Abstract(3625)]  [View PDF(2445)990.70 K]