Contents

Verification Based Decision-Making for Self-Adaptive Systems: A Model-Driven Approach YANG Zhuo-Qun and JIN Zhi Published 7月 25日, 2017 (22 pages) 2017,28(7):1676-1697 [Abstract(2730)]  [View PDF(4679)2.42 M]

Contents

Theory and Property of Γ-k Truth Degree on Axiomatic Extension of Goguen Propositional Logic System GAO Xiao-Li, HUI Xiao-Jing and ZHU Nai-Diao Published 7月 25日, 2017 (11 pages) 2017,28(7):1629-1639 [Abstract(2327)]  [View PDF(3363)1.13 M]

Heuristic Search Algorithm for the Rectangular Fixed-Size Guillotine Bin Packing Problem WANG Lei, LIU Qiang and CHEN Xin Published 7月 25日, 2017 (15 pages) 2017,28(7):1640-1654 [Abstract(2841)]  [View PDF(4834)1.32 M]

ParaC: A Domain Programming Framework of Image Processing on GPU Accelerators LU Xing-Jing, LIU Lei, JIA Hai-Peng, FENG Xiao-Bing and WU Cheng-Gang Published 7月 25日, 2017 (21 pages) 2017,28(7):1655-1675 [Abstract(3449)]  [View PDF(5068)2.08 M]

Parallel Code Generation from Synchronous Specification HU Kai, ZHANG Teng, SHANG Li-Hong, YANG Zhi-Bin and Jean-Pierre TALPIN Published 7月 25日, 2017 (15 pages) 2017,28(7):1698-1712 [Abstract(4519)]  [View PDF(6336)1.39 M]

Evidence-Based Software Process Trustworthiness Model and Evaluation Method WANG De-Xin, WANG Qing and HE Jie Published 7月 25日, 2017 (19 pages) 2017,28(7):1713-1731 [Abstract(3492)]  [View PDF(4933)1.82 M]

Kernel Code Reuse Attack Detection Technique for Linux CHEN Zhi-Feng, LI Qing-Bao, ZHANG Ping and WANG Ye Published 7月 25日, 2017 (14 pages) 2017,28(7):1732-1745 [Abstract(3510)]  [View PDF(4497)1.49 M]

Characterizing Uncertainty of Software Reliability Growth Model XU Jia-Jun and YAO Shu-Zhen Published 7月 25日, 2017 (13 pages) 2017,28(7):1746-1758 [Abstract(2727)]  [View PDF(3693)410.61 K]

Greedy Default Logic CHEN Bo, CAO Cun-Gen and SUI Yue-Fei Published 7月 25日, 2017 (14 pages) 2017,28(7):1759-1772 [Abstract(3017)]  [View PDF(3754)1.37 M]

Evolutionary Community Detection in Dynamic Networks NIU Xin-Zheng, SI Wei-Yu and SHE Kun Published 7月 25日, 2017 (17 pages) 2017,28(7):1773-1789 [Abstract(2845)]  [View PDF(4725)1.72 M]

Multiple Feedback Control Model and Algorithm for Energy Efficient Virtual Network Embedding CHEN Xiao-Hua, LI Chun-Zhi, CHEN Liang-Yu, ZENG Zhen-Bing and JIANG Yun-Liang Published 7月 25日, 2017 (25 pages) 2017,28(7):1790-1814 [Abstract(3305)]  [View PDF(3858)2.66 M]

Algorithm for Large Scale IP Network Multiple Link Congestion Inference CHEN Yu, WEN Xin-Ling, DUAN Zhe-Min and LI Yu-Chong Published 7月 25日, 2017 (20 pages) 2017,28(7):1815-1834 [Abstract(2732)]  [View PDF(4271)2.04 M]

Copy-Move Forgery Detection for Pre-Printing Image Using Digital Halftoning Technology XIE Wei, WAN Xiao-Xia, YE Song-Tao and JIN Guo-Nian Published 7月 25日, 2017 (12 pages) 2017,28(7):1835-1846 [Abstract(3085)]  [View PDF(4312)1.23 M]

Image Classification Based on Bag of Visual Words Model with Triangle Constraint WANG Rong-Gui, DING Kai, YANG Juan, XUE Li-Xia and ZHANG Qing-Yang Published 7月 25日, 2017 (15 pages) 2017,28(7):1847-1861 [Abstract(3423)]  [View PDF(5583)1.48 M]

Enhanced Deep Automatic Image Annotation Based on Data Equalization ZHOU Ming-Ke, KE Xiao and DU Ming-Zhi Published 7月 25日, 2017 (19 pages) 2017,28(7):1862-1880 [Abstract(2731)]  [View PDF(4543)1.96 M]

Runtime Model Based Approach to Managing Hybrid Clouds CHEN Xing, LAN Xing-Tu, LI Ai-Peng, GUO Wen-Zhong and HUANG Gang Published 7月 25日, 2017 (17 pages) 2017,28(7):1881-1897 [Abstract(2772)]  [View PDF(3742)1.77 M]

Research on Task Allocation Based Trust Degree for Social Network of Syncretic System WU Dan-Feng, YU Si-Miao, ZHANG Sheng-Yu and ZHANG Rui-Wen Published 7月 25日, 2017 (28 pages) 2017,28(7):1898-1925 [Abstract(2452)]  [View PDF(5711)2.83 M]