1000-9825
2016 Issue 2
..............page:封3
Survey on Bigraph and Its Applications
XU Dong;,WANG Jing-Jing;,LI Jing;
XU Dong;,WANG Jing-Jing;,LI Jing;
..............page:195-208
Sound and Complete Gentzen Deduction System for Intermediate Propositional Logic
ZHU Wu-Jia;,LI Wei;,SUI Yue-Fei;,LUO Jie;
ZHU Wu-Jia;,LI Wei;,SUI Yue-Fei;,LUO Jie;
..............page:209-218
Approach for Detecting Soft Error by Using Program Invariant
MA Jun-Chi;,WANG Yun;
MA Jun-Chi;,WANG Yun;
..............page:219-230
Modeling Complex Collaboration Network for Service-Oriented Software Based on Execution Behaviors
ZHANG Xi-Zhe;,L(U) Tian-Yang;,ZHANG Bin;
ZHANG Xi-Zhe;,L(U) Tian-Yang;,ZHANG Bin;
..............page:231-246
Survey on Predicting Information Propagation in Microblogs
LI Yang;,CHEN Yi-Heng;,LIU Ting;
LI Yang;,CHEN Yi-Heng;,LIU Ting;
..............page:247-263
Research Progress in Distributed Constraint Optimization Method
DUAN Pei-Bo;,ZHANG Chang-Sheng;,ZHANG Bin;
DUAN Pei-Bo;,ZHANG Chang-Sheng;,ZHANG Bin;
..............page:264-279
Semantics-Based Joint Model of Chinese Event Trigger Extraction
LI Pei-Feng;,ZHOU Guo-Dong;,ZHU Qiao-Ming;
LI Pei-Feng;,ZHOU Guo-Dong;,ZHU Qiao-Ming;
..............page:280-294
Optimal Approximation Sets of Rough Sets
ZHANG Qing-Hua;,XUE Yu-Bin;,WANG Guo-Yin;
ZHANG Qing-Hua;,XUE Yu-Bin;,WANG Guo-Yin;
..............page:295-308
Negation and Uncertainty Information Extraction Oriented to Natural Language Text
ZOU Bo-Wei;,QIAN Zhong;,CHEN Zhan-Cheng;,ZHU Qiao-Ming;,ZHOU Guo-Dong;
ZOU Bo-Wei;,QIAN Zhong;,CHEN Zhan-Cheng;,ZHU Qiao-Ming;,ZHOU Guo-Dong;
..............page:309-328
Survey on Spatial Keyword Search
LIU Xi-Ping;,WAN Chang-Xuan;,LIU De-Xi;,LIAO Guo-Qiong;
LIU Xi-Ping;,WAN Chang-Xuan;,LIU De-Xi;,LIAO Guo-Qiong;
..............page:329-347
Mining Moving Object Gathering Pattern Method Via Spatio-Temporal Graph
ZHANG Jun-Ming;,LI Jing-Lin;,WANG Shang-Guang;,LIU Zhi-Han;,YUAN Quan;,YANG Fang-Chun;
ZHANG Jun-Ming;,LI Jing-Lin;,WANG Shang-Guang;,LIU Zhi-Han;,YUAN Quan;,YANG Fang-Chun;
..............page:348-362
Link-Block Method for the Semantic Overlapping Community Detection
XIN Yu;,YANG Jing;,XIE Zhi-Qiang;
XIN Yu;,YANG Jing;,XIE Zhi-Qiang;
..............page:363-380
Streaming Histogram Publication Method with Differential Privacy
ZHANG Xiao-Jian;,MENG Xiao-Feng;
ZHANG Xiao-Jian;,MENG Xiao-Feng;
..............page:381-393
Traffic Engineering for Software Defined Networks
ZHOU Tong-Qing;,CAI Zhi-Ping;,XIA Jing;,XU Ming;
ZHOU Tong-Qing;,CAI Zhi-Ping;,XIA Jing;,XU Ming;
..............page:394-417
Algorithm for Enhancing Probabilistic Coverage in Wireless Sensor Network
FAN Xing-Gang;,YANG Jing-Jing;,WANG Heng;
FAN Xing-Gang;,YANG Jing-Jing;,WANG Heng;
..............page:418-431
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;,LIU Bin;
ZHU Jin-Qi;,MA Chun-Mei;,LIU Ming;,CHEN Gui-Hai;,GONG Hai-Gang;,LIU Bin;
..............page:432-450
Secure and Efficient Roaming Authentication Protocol with Controllable Anonymity for Heterogeneous Wireless Network
ZHOU Yan-Wei;,YANG Bo;,ZHANG Wen-Zheng;
ZHOU Yan-Wei;,YANG Bo;,ZHANG Wen-Zheng;
..............page:451-465
Virtual Machine Image Deduplication Method Based on Clustering
XU Ji-Wei;,ZHANG Wen-Bo;,WEI Jun;,ZHONG Hua;,HUANG Tao;
XU Ji-Wei;,ZHANG Wen-Bo;,WEI Jun;,ZHONG Hua;,HUANG Tao;
..............page:466-480
Secure and Efficient Kernel Monitoring Model Based on Hardware Virtualization
HUANG Xiao;,DENG Liang;,SUN Hao;,ZENG Qing-Kai;
HUANG Xiao;,DENG Liang;,SUN Hao;,ZENG Qing-Kai;
..............page:481-494