1000-9825
2011 Issue 1
Formalized Approach for Componentized Software Process Modeling
ZHAI Jian;YANG Qiu-Song;XIAO Jun-Chao;LI Ming-Shu
ZHAI Jian;YANG Qiu-Song;XIAO Jun-Chao;LI Ming-Shu
..............page:1-16
..............page:封3
Strategy of Extracting Domain Knowledge for STRIPS World Based on Derived Predicates
BIAN Rui;JIANG Yun-Fei;WU Xiang-Jun;LIANG Rui-Shi
BIAN Rui;JIANG Yun-Fei;WU Xiang-Jun;LIANG Rui-Shi
..............page:57-70
Component Model Supporting Trustworthiness-Oriented Software Evolution
DING Bo;WANG Huai-Min;SHI Dian-Xi;LI Xiao
DING Bo;WANG Huai-Min;SHI Dian-Xi;LI Xiao
..............page:17-27
Experimental Comparisons of Semi-Supervised Dimensional Reduction Methods
CHEN Shi-Guo;ZHANG Dao-Qiang
CHEN Shi-Guo;ZHANG Dao-Qiang
..............page:28-43
Constructing Goal Agenda and Macro Actions Using Proposition Relation Graphs in Planning
JIANG Zhi-Hua;RAO Dong-Ning;JIANG Yun-Fei;ZHU Hui-Quan
JIANG Zhi-Hua;RAO Dong-Ning;JIANG Yun-Fei;ZHU Hui-Quan
..............page:44-56
Algorithms Improving the Storage Efficiency of Deep Packet Inspection
YU Qiang;HUO Hong-Wei
YU Qiang;HUO Hong-Wei
..............page:149-163
Survey and Analysis on the Internet Traffic Model
ZHANG Bin;YANG Jia-Hai;WU Jian-Ping
ZHANG Bin;YANG Jia-Hai;WU Jian-Ping
..............page:115-131
Dynamic Pointer Forwarding Scheme for HMIPv6 Networks
YANG Yi;DONG Yong-Qiang
YANG Yi;DONG Yong-Qiang
..............page:164-176
Study on Cloud Computing Security
FENG Deng-Guo;ZHANG Min;ZHANG Yan;XU Zhen
FENG Deng-Guo;ZHANG Min;ZHANG Yan;XU Zhen
..............page:71-83
Cooperative MAC for Wireless Networks
LI Yun;DU Yang;CAO Bin;YOU Xiao-Hu
LI Yun;DU Yang;CAO Bin;YOU Xiao-Hu
..............page:101-114
Scalability of Internet Inter-Domain Routing
ZHANG Wei;BI Jun;WU Jian-Ping
ZHANG Wei;BI Jun;WU Jian-Ping
..............page:84-100
Concurrency-Related Complexities in Network Programming
LI Hui-Ba;TIAN Tian;PENG Yu-Xing;LI Dong-Sheng;LU Xi-Cheng
LI Hui-Ba;TIAN Tian;PENG Yu-Xing;LI Dong-Sheng;LU Xi-Cheng
..............page:132-148