Journal of Software 2008 Issue 5 ruan jian xue bao tou gao zhi nan

Home | Survey | Payment| Talks & Presentations | Job Opportunities

Journals A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Journal of Software
1000-9825
2008 Issue 5

ruan jian xue bao tou gao zhi nan

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

Cryptanalysis of a New Stream Cipher Structure
HUANG Xiao-Li;WU Chuan-Kun

..............page:1256-1264

Fundamental Problems with Available Bandwidth Measurement Systems
ZHOU Hui;LI Dan;WANG Yong-Ji

..............page:1234-1255

An Approach to Refining Active Components Based on Component Calculus
CHEN Xin

..............page:1134-1148

Formal Models and Methods on Volunteer Computing
WANG Yu;WANG Zhi-Jian

..............page:1125-1133

Component Model and Its Implementation of Internetware Based on Agent
CHANG Zhi-Ming;MAO Xin-Jun;QI Zhi-Chang

..............page:1113-1124

Negotiation-Enabled Modeling and Verification of Architectural Behavior of Internetware
ZHOU Li;CHEN Xiang-Ping;HUANG Gang;SUN Yan-Chun;MEI Hong

..............page:1099-1112

Requirement Driven Aggregation of Active Internetware Entities
ZHENG Li-Wei;JIN Zhi

..............page:1083-1098

internet huan jing xia ji yu gou jian de ruan jian li lun yu fang fa zhuan kan qian yan
he ji feng ; li xuan dong

..............page:1081-1082

Extended-Calling Process Language: An Integrated-Communication-Services-Oriented Language
YANG Qin;WEN Jia-Jia;CHEN Jun-Liang

..............page:1224-1233

Adaptive Component Replica Selection Model and Algorithms
ZUO Lin;LIU Shao-Hua;WEI Jun;FENG Yu-Lin;FAN Guo-Chuang

..............page:1212-1223

Dynamic Service Evolving Based on OSGi
ZHANG Shi;HUANG Lin-Peng

..............page:1201-1211

Formal Analysis and Verification of Resource Adaptability for Internetware
HU Jun;HUANG Zhi-Qiu;CAO Dong;XU Bing-Feng

..............page:1186-1200

A Dynamic QoS Assessment Approach for Internetware with Uncertainty Reasoning
WU Guo-Quan;WEI Jun;HUANG Tao

..............page:1173-1185

An Approach to Dynamically Operating Data Pragmatics for Internetware
TENG Teng;HUANG Gang;CHEN Xing-Run;MEI Hong

..............page:1160-1172

Verification of Component Composition Based on Abstraction Refinement
ZENG Hong-Wei;MIAO Huai-Kou

..............page:1149-1159