Volume 27,Issue 12,2016 Table of Contents

Other Issues:  
  
Contents

  • Satisfiability Threshold of the Regular Random (k,r)-SAT Problem
  • ZHOU Jin-Cheng, XU Dao-Yun and LU You-Jun
  • 2016,27(12):2985-2993 [Abstract(3904)]  [View PDF(6566)1.14 M]
  • Exogenous Quantum Markov Chains and Reachability Analysis
  • LIN Yun-Guo and LI Yong-Ming
  • 2016,27(12):2994-3002 [Abstract(3371)]  [View PDF(6685)1.10 M]
  • Sufficient Conditions for Convergence of the Warning Propagation Algorithm
  • WANG Xiao-Feng and XU Dao-Yun
  • 2016,27(12):3003-3013 [Abstract(3652)]  [View PDF(6223)1.36 M]
  • Improving the Performance of Defect Prediction Based on Evolution Data
  • WANG Dan-Dan and WANG Qing
  • 2016,27(12):3014-3029 [Abstract(2974)]  [View PDF(6196)1.79 M]
  • Research on Multi-Scale Data Mining Method
  • LIU Meng-Meng, ZHAO Shu-Liang, HAN Yu-Hui, SU Dong-Hai, LI Xiao-Chao and CHEN Min
  • 2016,27(12):3030-3050 [Abstract(4584)]  [View PDF(7811)3.17 M]
  • Optimizing Top-k Similarity Join Algorithm
  • WANG Hong-Ya, YANG Li-Hong and LIU Xiao-Qiang
  • 2016,27(12):3051-3066 [Abstract(3400)]  [View PDF(6450)1.77 M]
  • Technique Based on Shared Execution Strategy for Optimizing Interval Query
  • ZHOU Xin, ZHANG Xiao, XUE Zhong-Bin and WANG Shan
  • 2016,27(12):3067-3084 [Abstract(2495)]  [View PDF(5266)2.27 M]
  • Real-Time and Passive Wormhole Detection for Wireless Sensor Networks
  • LU Li, Muhammad Jawad HUSSAIN and ZHU Jin-Qi
  • 2016,27(12):3085-3103 [Abstract(3958)]  [View PDF(6573)2.24 M]
  • Software Defined Security Networking Mechanism Against DDoS Attacks
  • WANG Xiu-Lei, CHEN Ming, XING Chang-You, SUN Zhi and WU Quan-Feng
  • 2016,27(12):3104-3119 [Abstract(4365)]  [View PDF(7218)2.50 M]
  • Coverage Prediction Model and Number Estimation for Directional Sensor Networks
  • LIU Zhi-Min, JIA Wei-Jia and WANG Guo-Jun
  • 2016,27(12):3120-3130 [Abstract(2782)]  [View PDF(5457)1.32 M]
  • Shape Recognition Using Unordered Point-Set Description and Matching of Object Contour
  • WANG Bin
  • 2016,27(12):3131-3142 [Abstract(3167)]  [View PDF(5918)2.08 M]
  • Method of Formal Design and Verification of OS on Assembly Layer
  • QIAN Zhen-Jiang, HUANG Hao and SONG Fang-Min
  • 2016,27(12):3143-3157 [Abstract(3487)]  [View PDF(8205)1.77 M]
  • Fault Tolerant Global Scheduling with Non-Preemptive Backups
  • PENG Hao, LU Yang, SUN Feng and HAN Jiang-Hong
  • 2016,27(12):3158-3171 [Abstract(2617)]  [View PDF(5007)1.59 M]
  • Data Characteristics-Based Kernel Malware Detection
  • CHEN Zhi-Feng, LI Qing-Bao, ZHANG Ping and DING Wen-Bo
  • 2016,27(12):3172-3191 [Abstract(3980)]  [View PDF(6899)2.23 M]
  • Load Balancing Framework for Metadata Service of Distributed File Systems
  • SUN Yao, LIU Jie, YE Dan and ZHONG Hua
  • 2016,27(12):3192-3207 [Abstract(3880)]  [View PDF(7431)1.91 M]
  • Approach of Measuring and Predicting Software System State Based on Hidden Markov Model
  • WU Jia, ZENG Wei-Ru, CHEN Han-Lin and TANG Xue-Fei
  • 2016,27(12):3208-3222 [Abstract(2769)]  [View PDF(8707)1.96 M]