1000-9825
2015 Issue 8
..............page:封3
Model Abstraction for Stochastic Model Checking
LIU Yang;,LI Xuan-Dong;,MA Yan;
LIU Yang;,LI Xuan-Dong;,MA Yan;
..............page:1853-1870
GUI Test Suite Reduction Techniques Based on Event Handler Functions
CHEN Jun-Cheng;,XUE Yun-Zhi;,TAO Qiu-Ming;,ZHAO Chen;
CHEN Jun-Cheng;,XUE Yun-Zhi;,TAO Qiu-Ming;,ZHAO Chen;
..............page:1871-1885
Efficient Service Selection Approach Based on Functionality Folding
BAI Lin;,YE Dan;,WEI Jun;,HUANG Tao;
BAI Lin;,YE Dan;,WEI Jun;,HUANG Tao;
..............page:1886-1906
Multi-User Server Program Self-Recovery System
SHI Yi;,FENG Yu-Sheng;,QI Yong;,SUN Wei;
SHI Yi;,FENG Yu-Sheng;,QI Yong;,SUN Wei;
..............page:1907-1924
Dominant Statement(s) Selection in Testing Programs with Flag Variables
GONG Dun-Wei;,ZHONG Chao-Qun;,YAO Xiang-Juan;
GONG Dun-Wei;,ZHONG Chao-Qun;,YAO Xiang-Juan;
..............page:1925-1936
Method of Solving Abductive Reasoning Problem via Hitting Set
YU Quan;,LI Cheng-Qian;,SHEN Yu-Ming;,WANG Ju;
YU Quan;,LI Cheng-Qian;,SHEN Yu-Ming;,WANG Ju;
..............page:1937-1945
C2C E-Commerce Trust Algorithm Based on Trust Network
GAN Zao-Bin;,ZENG Can;,MA Yao;,LU Hong-Wei;
GAN Zao-Bin;,ZENG Can;,MA Yao;,LU Hong-Wei;
..............page:1946-1959
Fast Complex Valued Dictionary Learning Method for Sparse Representation
HAO Hong-Xing;,WU Ling-Da;,HUANG Wei;
HAO Hong-Xing;,WU Ling-Da;,HUANG Wei;
..............page:1960-1967
Symbolic Model Checker for Propositional Projection Temporal Logic
PANG Tao;,DUAN Zhen-Hua;,LIU Xiao-Fang;
PANG Tao;,DUAN Zhen-Hua;,LIU Xiao-Fang;
..............page:1968-1982
Energy Balance of Mixed Data Transmission in 1D Sensor Networks
XIA Xian-Jin;,LI Shi-Ning;,ZHANG Yu;,LI Zhi-Gang;,YANG Zhe;
XIA Xian-Jin;,LI Shi-Ning;,ZHANG Yu;,LI Zhi-Gang;,YANG Zhe;
..............page:1983-2006
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;,WU Shun-Yao;
SUI Yi;,SHAO Feng-Jing;,SUN Ren-Cheng;,LI Shu-Jing;,WU Shun-Yao;
..............page:2007-2019
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;,ZHANG Li;
HU Xiang-Dong;,XU Hui-Fen;,ZHANG Li;
..............page:2020-2040
Transmission Delay Prediction Based Data Allocation Scheme for Concurrent Multipath Transfer
DU Wen-Feng;,LAI Li-Qian;,WU Zhen;
DU Wen-Feng;,LAI Li-Qian;,WU Zhen;
..............page:2041-2055
Data Placement Strategy for MapReduce Cluster Environment
XUN Ya-Ling;,ZHANG Ji-Fu;,QIN Xiao;
XUN Ya-Ling;,ZHANG Ji-Fu;,QIN Xiao;
..............page:2056-2073
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;,HUANG Tao;
WANG Sa;,ZHANG Wen-Bo;,WU Heng;,SONG Yun-Kui;,WEI Jun;,ZHONG Hua;,HUANG Tao;
..............page:2074-2090
Energy Consumption Optimization Data Placement Algorithm for MapReduce System
SONG Jie;,WANG Zhi;,LI Tian-Tian;,YU Ge;
SONG Jie;,WANG Zhi;,LI Tian-Tian;,YU Ge;
..............page:2091-2110
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;,BAO Wei-Dong;
CHEN Chao;,ZHU Xiao-Min;,CHEN Huang-Ke;,WANG Ji;,JI Hao-Ran;,BAO Wei-Dong;
..............page:2111-2123
Transparent Privacy Protection Based on Virtual Machine Monitor
REN Jian-Bao;,QI Yong;,DAI Yue-Hua;,WANG Xiao-Guang;,XUAN Yu;,SHI Yi;
REN Jian-Bao;,QI Yong;,DAI Yue-Hua;,WANG Xiao-Guang;,XUAN Yu;,SHI Yi;
..............page:2124-2137
Approach to Performance Optimization of Mashup Operation
ZHANG Peng;,LIU Qing-Yun;,XU Ke-Fu;,LIN Hai-Lun;,SUN Yong;,TAN Jian-Long;
ZHANG Peng;,LIU Qing-Yun;,XU Ke-Fu;,LIN Hai-Lun;,SUN Yong;,TAN Jian-Long;
..............page:2138-2154