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(3476)]  [View PDF(5160)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(3406)]  [View PDF(5349)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(4001)]  [View PDF(5184)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(3112)]  [View PDF(4450)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(3141)]  [View PDF(5074)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(2868)]  [View PDF(5516)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(2424)]  [View PDF(5261)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(2564)]  [View PDF(5622)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(2784)]  [View PDF(4532)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(3106)]  [View PDF(4829)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(2791)]  [View PDF(4507)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(2733)]  [View PDF(5237)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(3878)]  [View PDF(6746)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(3369)]  [View PDF(5028)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(3767)]  [View PDF(5138)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(3563)]  [View PDF(5612)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(3921)]  [View PDF(4727)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(3193)]  [View PDF(4942)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(5550)]  [View PDF(7206)990.70 K]