1000-9825
2016 Issue 12
Satisfiability Threshold of the Regular Random (k,r)-SAT Problem
ZHOU Jin-Cheng;,XU Dao-Yun;,LU You-Jun;
ZHOU Jin-Cheng;,XU Dao-Yun;,LU You-Jun;
..............page:2985-2993
Exogenous Quantum Markov Chains and Reachability Analysis
LIN Yun-Guo;,LI Yong-Ming;
LIN Yun-Guo;,LI Yong-Ming;
..............page:2994-3002
Sufficient Conditions for Convergence of the Warning Propagation Algorithm
WANG Xiao-Feng;,XU Dao-Yun;
WANG Xiao-Feng;,XU Dao-Yun;
..............page:3003-3013
Improving the Performance of Defect Prediction Based on Evolution Data
WANG Dan-Dan;,WANG Qing;
WANG Dan-Dan;,WANG Qing;
..............page:3014-3029
Research on Multi-Scale Data Mining Method
LIU Meng-Meng;,ZHAO Shu-Liang;,HAN Yu-Hui;,SU Dong-Hai;,LI Xiao-Chao;,CHEN Min;
LIU Meng-Meng;,ZHAO Shu-Liang;,HAN Yu-Hui;,SU Dong-Hai;,LI Xiao-Chao;,CHEN Min;
..............page:3030-3050
Optimizing Top-k Similarity Join Algorithm
WANG Hong-Ya;,YANG Li-Hong;,LIU Xiao-Qiang;
WANG Hong-Ya;,YANG Li-Hong;,LIU Xiao-Qiang;
..............page:3051-3066
Technique Based on Shared Execution Strategy for Optimizing Interval Query
ZHOU Xin;,ZHANG Xiao;,XUE Zhong-Bin;,WANG Shan;
ZHOU Xin;,ZHANG Xiao;,XUE Zhong-Bin;,WANG Shan;
..............page:3067-3084
Real-Time and Passive Wormhole Detection for Wireless Sensor Networks
LU Li;,ZHU Jin-Qi;
LU Li;,ZHU Jin-Qi;
..............page:3085-3103
Software Defined Security Networking Mechanism Against DDoS Attacks
WANG Xiu-Lei;,CHEN Ming;,XING Chang-You;,SUN Zhi;,WU Quan-Feng;
WANG Xiu-Lei;,CHEN Ming;,XING Chang-You;,SUN Zhi;,WU Quan-Feng;
..............page:3104-3119
Coverage Prediction Model and Number Estimation for Directional Sensor Networks
LIU Zhi-Min;,JIA Wei-Jia;,WANG Guo-Jun;
LIU Zhi-Min;,JIA Wei-Jia;,WANG Guo-Jun;
..............page:3120-3130
..............page:3131-3142
Method of Formal Design and Verification of OS on Assembly Layer
QIAN Zhen-Jiang;,HUANG Hao;,SONG Fang-Min;
QIAN Zhen-Jiang;,HUANG Hao;,SONG Fang-Min;
..............page:3143-3157
Fault Tolerant Global Scheduling with Non-Preemptive Backups
PENG Hao;,LU Yang;,SUN Feng;,HAN Jiang-Hong;
PENG Hao;,LU Yang;,SUN Feng;,HAN Jiang-Hong;
..............page:3158-3171
Data Characteristics-Based Kernel Malware Detection
CHEN Zhi-Feng;,LI Qing-Bao;,ZHANG Ping;,DING Wen-Bo;
CHEN Zhi-Feng;,LI Qing-Bao;,ZHANG Ping;,DING Wen-Bo;
..............page:3172-3191
Load Balancing Framework for Metadata Service of Distributed File Systems
SUN Yao;,LIU Jie;,YE Dan;,ZHONG Hua;
SUN Yao;,LIU Jie;,YE Dan;,ZHONG Hua;
..............page:3192-3207
Approach of Measuring and Predicting Software System State Based on Hidden Markov Model
WU Jia;,ZENG Wei-Ru;,CHEN Han-Lin;,TANG Xue-Fei;
WU Jia;,ZENG Wei-Ru;,CHEN Han-Lin;,TANG Xue-Fei;
..............page:3208-3222