Volume 31,Issue 6,2020 Table of ContentsDownload Contents
信息物理系统软件设计自动化专题前言卜磊,陈铭松,朱祺,刘超Published June 06, 2020 (2 pages)2020,31(6):1585-1586 [Abstract(1837)] [View PDF(2232)298.67 K]Design Pattern Detection Approach Based on Stacked GeneralizationFENG Tie, JIN Le, ZHANG Jia-Chen, WANG Hong-YuanPublished June 06, 2020 (20 pages)2020,31(6):1703-1722 [Abstract(1511)] [View PDF(3186)2.54 M]Chinese Sentence-Level Lip Reading Based on End-to-End ModelZHANG Xiao-Bing, GONG Hai-Gang, YANG Fan, DAI Xi-LiPublished June 06, 2020 (14 pages)2020,31(6):1747-1760 [Abstract(1950)] [View PDF(3744)1.67 M]Community Aware MSN Routing Scheme Based on ICN ArchitectureSHI Jun-Ling, WANG Xing-Wei, HUANG MinPublished June 06, 2020 (16 pages)2020,31(6):1786-1801 [Abstract(1515)] [View PDF(2731)1.87 M]Node Degree Estimation and Static Game Forwarding Strategy Based Routing Protocol for Ad Hoc NetworksWANG Qing-Wen, QI Qian, CHENG Wei, LI DongPublished June 06, 2020 (15 pages)2020,31(6):1802-1816 [Abstract(4780)] [View PDF(3399)1.60 M]CP-ABE Scheme with Fast Decryption for Public CloudZOU Li-Ping, FENG Chao-Sheng, QIN Zhi-Guang, YUAN Ding, LUO Wang-Ping, LI MinPublished June 06, 2020 (12 pages)2020,31(6):1817-1828 [Abstract(1726)] [View PDF(3130)1.29 M]Improved Dynamic Cube Attack on Reduced MORUSLI Jun-Zhi, GUAN JiePublished June 06, 2020 (10 pages)2020,31(6):1829-1838 [Abstract(1290)] [View PDF(2476)973.57 K]Applying Probabilistic Model Checking to the Quantitative Verification of Task Scheduling for Cloud Rendering SystemGAO Hong-Hao, MIAO Huai-Kou, LIU Hao-Yu, XU Hua-Hu, YU Zhi-RuoPublished June 06, 2020 (21 pages)2020,31(6):1839-1859 [Abstract(1496)] [View PDF(2542)2.38 M]Heuristic Based Resource Provisioning Approach for Big Data Analytics in Cloud EnvironmentWU Yue-Wen, WU Heng, REN Jie, ZHANG Wen-Bo, WEI Jun, WANG Tao, ZHONG HuaPublished June 06, 2020 (15 pages)2020,31(6):1860-1874 [Abstract(1911)] [View PDF(3694)1.94 M]Container Image Deduplication Method Based on Chunking Reuse of Multi-versionsLU Zhi-Gang, XU Ji-Wei, HUANG TaoPublished June 06, 2020 (14 pages)2020,31(6):1875-1888 [Abstract(1604)] [View PDF(2818)1.40 M]Resource-Constrained Serial Task Offload Strategy in Mobile Edge ComputingLIU Wei, HUANG Yu-Cheng, DU Wei, WANG WeiPublished June 06, 2020 (20 pages)2020,31(6):1889-1908 [Abstract(2133)] [View PDF(4237)2.77 M]Wear Attacks and Defense Mechanisms for Persistent In-memory File SystemsYANG Chao-Shu, ZHUGE Qing-Feng, Edwin H-M Sha, CHEN Xian-Zhang, WU Lin, WU TingPublished June 06, 2020 (21 pages)2020,31(6):1909-1929 [Abstract(1441)] [View PDF(2883)2.31 M]
Towards Modeling and Simulating Behavior of CPS Based on SHMLDU De-Hui, GUAN Chun-Lin, WANG Yao, Guo TongPublished June 06, 2020 (13 pages)2020,31(6):1587-1599 [Abstract(2678)] [View PDF(4216)1.70 M]Detecting and Preventing Dangling PointersWANG Yu, GAO Feng-Juan, MA Ke-Xin, SITU Ling-Yun, WANG Lin-Zhang, CHEN Bi-Huan, LIU Yang, ZHAO Jian-Hua, LI Xuan-DongPublished June 06, 2020 (19 pages)2020,31(6):1600-1618 [Abstract(2973)] [View PDF(7410)2.07 M]Towards Software Architecture and Accompanying Behavior Mechanism of Autonomous Robotic Control Software Based on Multi-agent SystemMAO Xin-Jun, YANG Shuo, HUANG Yu-Hong, WANG ShuoPublished June 06, 2020 (19 pages)2020,31(6):1619-1637 [Abstract(2952)] [View PDF(5433)2.19 M]Formalizing Railway Interlocking Domain Specific LanguageZHAO Meng-Yao, CHEN Xiao-Hong, SUN Hai-Ying, LIU Jing, CHEN Liang-Yu, ZHOU Ting-LiangPublished June 06, 2020 (16 pages)2020,31(6):1638-1653 [Abstract(2406)] [View PDF(3987)1.79 M]Failure Probabilities Allocation and Safety Assessment Approaches Based on AADLWEI Xiao-Min, DONG Ze-Qian, XIAO Ming-Rui, TIAN CongPublished June 06, 2020 (18 pages)2020,31(6):1654-1671 [Abstract(2720)] [View PDF(4261)1.68 M]Event-triggering Secure Control of Markov Jump Cyber-Pysical Systems Under Mode- dependent Denial of Service AttacksMA Chao, WU WeiPublished June 06, 2020 (9 pages)2020,31(6):1672-1680 [Abstract(2448)] [View PDF(3485)942.57 K]
Survey of Dynamic Analysis Based Program Invariant Synthesis TechniquesWANG Bo, LU Si-Rui, JIANG Jia-Jun, XIONG Ying-FeiPublished June 06, 2020 (22 pages)2020,31(6):1681-1702 [Abstract(4065)] [View PDF(5653)488.04 K]Research Progress on Cross-domain Text Sentiment ClassificationZHAO Chuan-Jun, WANG Su-Ge, LI De-YuPublished June 06, 2020 (24 pages)2020,31(6):1723-1746 [Abstract(3679)] [View PDF(7038)1.75 M]Differential Privacy under Continual ObservationLIANG Wen-Juan, CHEN Hong, WU Yun-Cheng, ZHAO Dan, LI Cui-PingPublished June 06, 2020 (25 pages)2020,31(6):1761-1785 [Abstract(3321)] [View PDF(5137)773.79 K]