Volume 29,Issue 1,2018 Table of Contents
Precise Execution Reachability Analysis: Theory and ApplicationYANG Ke, HE Ye-Ping, MA Heng-Tai and WANG Xue-Fei2018,29(1):1-22 [Abstract(7541)] [View PDF(15040)2.21 M]Survey of Model-Based Self-Adaptation MethodsZHAO Tian-Qi, ZHAO Hai-Yan, ZHANG Wei and JIN Zhi2018,29(1):23-41 [Abstract(7901)] [View PDF(13081)1.84 M]Software and Cyber Security-A SurveyLIU Jian, SU Pu-Rui, YANG Min, HE Liang, ZHANG Yuan, ZHU Xue-Yang and LIN Hui-Min2018,29(1):42-68 [Abstract(11564)] [View PDF(22794)2.54 M]Research Progress of Crowdsourced Software TestingZHANG Xiao-Fang, FENG Yang, LIU Di, CHEN Zhen-Yu and XU Bao-Wen2018,29(1):69-88 [Abstract(9843)] [View PDF(18658)2.00 M]Survey on Multi Class Twin Support Vector MachinesDING Shi-Fei, ZHANG Jian, ZHANG Xie-Kai and AN Yue-Xuan2018,29(1):89-108 [Abstract(6326)] [View PDF(10831)1.99 M]Survey on Parallel and Distributed Optimization Algorithms for Scalable Machine LearningKANG Liang-Yi, WANG Jian-Fei, LIU Jie and YE Dan2018,29(1):109-130 [Abstract(8068)] [View PDF(20922)2.21 M]Consistency and Availability in Distributed Database SystemsZHU Tao, GUO Jin-Wei, ZHOU Huan, ZHOU Xuan and ZHOU Ao-Ying2018,29(1):131-149 [Abstract(7267)] [View PDF(10914)2.01 M]Research Problems and Methods in Blockchain and Trusted Data ManagementQIAN Wei-Ning, SHAO Qi-Feng, ZHU Yan-Chao, JIN Che-Qing and ZHOU Ao-Ying2018,29(1):150-159 [Abstract(10681)] [View PDF(16871)1.08 M]Survey on Scalability of Control Plane in Software-Defined NetworkingZHANG Shao-Jun, LAN Ju-Long, HU Yu-Xiang and JIANG Yi-Ming2018,29(1):160-175 [Abstract(7140)] [View PDF(9829)1.79 M]Review of Internet Inter-Domain IP Source Address Validation TechnologyJIA Yi-Hao, REN Gang and LIU Ying2018,29(1):176-195 [Abstract(6516)] [View PDF(10137)2.20 M]Review on Data Forwarding Model in Internet of ThingsLI Ji-Rui, LI Xiao-Yong, GAO Ya-Li, GAO Yun-Quan and FANG Bin-Xing2018,29(1):196-224 [Abstract(7273)] [View PDF(19929)3.31 M]