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(3505)]  [View PDF(5934)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(3449)]  [View PDF(5631)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(4055)]  [View PDF(5441)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(3152)]  [View PDF(4653)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(3167)]  [View PDF(5357)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(2894)]  [View PDF(5747)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(2464)]  [View PDF(5499)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(2596)]  [View PDF(5830)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(2826)]  [View PDF(4790)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(3146)]  [View PDF(5087)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(2870)]  [View PDF(4758)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(2761)]  [View PDF(5474)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(3899)]  [View PDF(6978)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(3412)]  [View PDF(5307)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(3817)]  [View PDF(5508)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(3604)]  [View PDF(5845)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(3977)]  [View PDF(5014)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(3234)]  [View PDF(5143)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(5583)]  [View PDF(7844)990.70 K]