Journal of Software 2009 Issue 8 Optimization of Bounded Model Checking

Optimization of Bounded Model Checking
YANG Jin-Ji;SU Kai-Le;LUO Xiang-Yu;LIN Han;XIAO Yin-Yin

..............page:2005-2014

Compositional Reasoning in Intuitionistic Linear-Time μ-Calculus
KAZMI Syed Asad Raza;ZHANG Wen-Hui

..............page:2026-2036

Symbolic Model Checking of ETL
LIU Wan-Wei;WANG Ji;WANG Zhao-Fei

..............page:2015-2025

Program Verification Techniques Based on Separation Logic
HUANG Da-Ming;ZENG Qing-Kai

..............page:2051-2061

Automated Theorem Prover for Pointer Logic
WANG Zhen-Ming;CHEN Yi-Yun;WANG Zhi-Fang

..............page:2037-2050

Test Method for BEPL-Based Web Service Composition Based on Data Flow Analysis
DONG Wen-Li;HU Jian-Hua

..............page:2102-2112

Semantic Description Framework for Architecture-Centric Model Transformation
HOU Jin-Kui;WANG Hai-Yang;MA Jun;WAN Jian-Cheng;YANG Xiao

..............page:2113-2123

Research on Paraphrasing Technology
ZHAO Shi-Qi;LIU Ting;LI Sheng

..............page:2124-2137

Research on Unsupervised Word Sense Disambiguation
WANG Rui-Qin;KONG Fan-Sheng

..............page:2138-2152

Efficient Kernel Principal Component Analysis Algorithm for Large-Scale Data Set
SHI Wei-Ya;GUO Yue-Fei;XUE Xiang-Yang

..............page:2153-2159

Automated Negotiation Decision Model Based on Machine Learning
CHENG Yu;GAO Ji;GU Hua-Mao;FU Zhao-Yang

..............page:2160-2169

Web Service QoS Prediction Approach
SHAO Ling-Shuang;ZHOU Li;ZHAO Jun-Feng;XIE Bing;MEI Hong

..............page:2062-2073

Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
TAO Qiu-Ming;ZHAO Chen;GUO Liang

..............page:2074-2086

Graph Transformation Based Description Language for Model Refactorings
LIU Hui;MA Zhi-Yi;SHAO Wei-Zhong

..............page:2087-2101

Facial Expression Manifold Based on Expression Similarity
XU Shuang;JIA Yun-De

..............page:2191-2198

Peer-to-Peer Key Technologies in Mobile Internet
LI Wei;XU Zheng-Quan;YANG Zhu

..............page:2199-2213

Model of Argumentation
XIONG Cai-Quan;LI De-Hua

..............page:2181-2190

Walking State Analysis Model for Legged Robots
XU Kai;CHEN Xiao-Ping

..............page:2170-2180

Interleaving Coded Multi-Threshold Scheduling Algorithm
YI Peng;WANG Bin-Qiang;CHEN Shu-Qiao;LI Hui

..............page:2289-2297

Behavior-Driven Role-Based Trust Management
LI Lan;FAN Lei;HUI Hong

..............page:2298-2306

Alias Filtering Technique in Alias Resolution
ZHAO Hong-Hua;BAI Hua-Li;CHEN Ming;WEI Zhen-Han

..............page:2280-2288

ruan jian xue bao tou gao zhi nan

..............page:封3

Genetic Algorithm Solution of Network Coding Optimization
DENG Liang;ZHAO Jin;WANG Xin

..............page:2269-2279

Selective Replication-Based Data Delivery for Delay Tolerant Mobile Sensor Networks
ZHU Jin-Qi;LIU Ming;GONG Hai-Gang;CHEN Gui-Hai;XU Fu-Long;SONG Chao

..............page:2227-2240

Community Discovery Method in Networks Based on Topological Potential
GAN Wen-Yan;HE Nan;LI De-Yi;WANG Jian-Min

..............page:2241-2254

Optimal Mechanism of Parallel Downloading
WANG Zheng;LUO Wan-Ming;YAN Bao-Ping

..............page:2255-2268

Efficient Regular Expression Compression Algorithm for Deep Packet Inspection
XU Qian;E YuePeng;GE Jing-Guo;QIAN Hua-Lin

..............page:2214-2226