1673-9418
2015 Issue 7
..............page:768-768
Brief Introduction to SMT Solving
JIN Jiwei;,MA Feifei;,ZHANG Jian;
JIN Jiwei;,MA Feifei;,ZHANG Jian;
..............page:769-780
Method for Transforming Layered Service Process into Executable BPEL
WANG Shuo;,WANG Zhongjie;,YU Meng;,XU Xiaofei;
WANG Shuo;,WANG Zhongjie;,YU Meng;,XU Xiaofei;
..............page:781-792
Reversible Transformation Model Based on Context-Free Grammars
WU Yangyi;,WU Yiming;,XIONG Yingfei;
WU Yangyi;,WU Yiming;,XIONG Yingfei;
..............page:793-802
Web System Interoperability Test Suite Augmentation Based on Log
WANG Fei;,LIU Chao;
WANG Fei;,LIU Chao;
..............page:803-811
Method for Finding Trust Relationship Based on Maximum Flow
LI Jianjun;,ZHANG Rubo;,YANG Yu;,SU Minyuan;
LI Jianjun;,ZHANG Rubo;,YANG Yu;,SU Minyuan;
..............page:812-820
Game Theory Based Dual-Incentive Mechanism for Data Forwarding in Vehicular Ad Hoc Network
YANG Shuxue;,WANG Liangmin;
YANG Shuxue;,WANG Liangmin;
..............page:821-831
Discrete Time Based Asymmetric Routing Algorithm for LEO Satellite Networks
WEI Juan;,BO Zhenyu;,LIU Ye;,LEI Xiuying;
WEI Juan;,BO Zhenyu;,LIU Ye;,LEI Xiuying;
..............page:832-838
3D Audio Real-Time Generating Technique and Its Implementation
TU Weiping;,YAO Xuechun;,ZHANG Maosheng;,HU Ruimin;,YANG Cheng;
TU Weiping;,YAO Xuechun;,ZHANG Maosheng;,HU Ruimin;,YANG Cheng;
..............page:839-846
Non-Clausal α-Ordered Linear Generalized Resolution Method in Propositional Logic
JIA Hairui;,XU Yang;,DENG Peng;
JIA Hairui;,XU Yang;,DENG Peng;
..............page:847-853
Improved Artificial Bee Colony Algorithm for Function Optimization
TANG Lingyun;,MAO Li;,ZHOU Changxi;
TANG Lingyun;,MAO Li;,ZHOU Changxi;
..............page:854-860
Efficient Hashing Method Based on Markov Graph for Nearest Neighbor Search
LIU Hong;,JIANG Aiwen;,WANG Mingwen;,WAN Jianyi;
LIU Hong;,JIANG Aiwen;,WANG Mingwen;,WAN Jianyi;
..............page:861-868
..............page:869-876
..............page:877-886
Entropy-Beta：A Strategy for Publishing Questions in Schema Matching via Crowdsourcing
HUANG Dongmei;,XU Kun;,ZHANG Minghua;
HUANG Dongmei;,XU Kun;,ZHANG Minghua;
..............page:887-896