Contents

Sound and Complete Gentzen Deduction System for Intermediate Propositional Logic ZHU Wu-Jia, LI Wei, SUI Yue-Fei and LUO Jie 2016,27(2):209-218 [Abstract(4315)]  [View PDF(5619)509.27 K]

Contents

Approach for Detecting Soft Error by Using Program Invariant MA Jun-Chi and WANG Yun 2016,27(2):219-230 [Abstract(4610)]  [View PDF(5714)640.57 K]

Contents

Modeling Complex Collaboration Network for Service-Oriented Software Based on Execution Behaviors ZHANG Xi-Zhe, LÜ Tian-Yang and ZHANG Bin 2016,27(2):231-246 [Abstract(4356)]  [View PDF(6830)2.45 M]

Semantics-Based Joint Model of Chinese Event Trigger Extraction LI Pei-Feng, ZHOU Guo-Dong and ZHU Qiao-Ming 2016,27(2):280-294 [Abstract(5313)]  [View PDF(9575)631.48 K]

Optimal Approximation Sets of Rough Sets ZHANG Qing-Hua, XUE Yu-Bin and WANG Guo-Yin 2016,27(2):295-308 [Abstract(4361)]  [View PDF(5967)774.42 K]

Negation and Uncertainty Information Extraction Oriented to Natural Language Text ZOU Bo-Wei, QIAN Zhong, CHEN Zhan-Cheng, ZHU Qiao-Ming and ZHOU Guo-Dong 2016,27(2):309-328 [Abstract(4600)]  [View PDF(8751)780.88 K]

Mining Moving Object Gathering Pattern Method Via Spatio-Temporal Graph ZHANG Jun-Ming, LI Jing-Lin, WANG Shang-Guang, LIU Zhi-Han, YUAN Quan and YANG Fang-Chun 2016,27(2):348-362 [Abstract(5272)]  [View PDF(6950)1.01 M]

Link-Block Method for the Semantic Overlapping Community Detection XIN Yu, YANG Jing and XIE Zhi-Qiang 2016,27(2):363-380 [Abstract(3744)]  [View PDF(7192)1.71 M]

Streaming Histogram Publication Method with Differential Privacy ZHANG Xiao-Jian and MENG Xiao-Feng 2016,27(2):381-393 [Abstract(4952)]  [View PDF(7844)693.07 K]

Algorithm for Enhancing Probabilistic Coverage in Wireless Sensor Network FAN Xing-Gang, YANG Jing-Jing and WANG Heng 2016,27(2):418-431 [Abstract(4166)]  [View PDF(6302)718.40 K]

Data Delivery for Vehicular Ad Hoc Networks Based on Parking Backbone ZHU Jin-Qi, MA Chun-Mei, LIU Ming, CHEN Gui-Hai, GONG Hai-Gang and LIU Bin 2016,27(2):432-450 [Abstract(4487)]  [View PDF(6594)1.31 M]

Secure and Efficient Roaming Authentication Protocol with Controllable Anonymity for Heterogeneous Wireless Network ZHOU Yan-Wei, YANG Bo and ZHANG Wen-Zheng 2016,27(2):451-465 [Abstract(3710)]  [View PDF(7203)899.08 K]

Virtual Machine Image Deduplication Method Based on Clustering XU Ji-Wei, ZHANG Wen-Bo, WEI Jun, ZHONG Hua and HUANG Tao 2016,27(2):466-480 [Abstract(4330)]  [View PDF(7145)939.83 K]

Secure and Efficient Kernel Monitoring Model Based on Hardware Virtualization HUANG Xiao, DENG Liang, SUN Hao and ZENG Qing-Kai 2016,27(2):481-494 [Abstract(4648)]  [View PDF(6712)2.88 M]

Review Articles

Survey on Bigraph and Its Applications XU Dong, WANG Jing-Jing and LI Jing 2016,27(2):195-208 [Abstract(7049)]  [View PDF(10235)922.21 K]

Survey on Predicting Information Propagation in Microblogs LI Yang, CHEN Yi-Heng and LIU Ting 2016,27(2):247-263 [Abstract(9089)]  [View PDF(19396)703.93 K]

Research Progress in Distributed Constraint Optimization Method DUAN Pei-Bo, ZHANG Chang-Sheng and ZHANG Bin 2016,27(2):264-279 [Abstract(7882)]  [View PDF(11864)756.88 K]

Survey on Spatial Keyword Search LIU Xi-Ping, WAN Chang-Xuan, LIU De-Xi and LIAO Guo-Qiong 2016,27(2):329-347 [Abstract(8797)]  [View PDF(12406)869.80 K]

Traffic Engineering for Software Defined Networks ZHOU Tong-Qing, CAI Zhi-Ping, XIA Jing and XU Ming 2016,27(2):394-417 [Abstract(9396)]  [View PDF(14936)1.31 M]