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(4190)]  [View PDF(7465)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(4188)]  [View PDF(6867)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(4754)]  [View PDF(6666)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(3923)]  [View PDF(5534)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(3822)]  [View PDF(6307)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(3608)]  [View PDF(6847)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(3100)]  [View PDF(6648)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(3470)]  [View PDF(6769)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(3578)]  [View PDF(5727)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(3854)]  [View PDF(6211)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(3707)]  [View PDF(5824)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(3513)]  [View PDF(6571)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(4520)]  [View PDF(8004)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(4206)]  [View PDF(6453)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(4704)]  [View PDF(6564)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(4374)]  [View PDF(7030)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(4743)]  [View PDF(6256)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(4012)]  [View PDF(6200)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(6308)]  [View PDF(9254)990.70 K]