Contents

Adaptive Component Replica Selection Model and Algorithms ZUO Lin,LIU Shao-Hua,WEI Jun,FENG Yu-Lin and FAN Guo-Chuang 2008,19(5):1212-1223 [Abstract(4170)]  [View PDF(5932)510.08 K]

Extended-Calling Process Language: An Integrated-Communication-Services-Oriented Language YANG Qin,WEN Jia-Jia and CHEN Jun-Liang 2008,19(5):1224-1233 [Abstract(4202)]  [View PDF(5696)532.89 K]

Fundamental Problems with Available Bandwidth Measurement Systems ZHOU Hui,LI Dan and WANG Yong-Ji 2008,19(5):1234-1255 [Abstract(4374)]  [View PDF(7244)1.10 M]

Cryptanalysis of a New Stream Cipher Structure HUANG Xiao-Li and WU Chuan-Kun 2008,19(5):1256-1264 [Abstract(4620)]  [View PDF(6118)399.06 K]

Special Issue's Articles

Internet环境下基于构件的软件理论与方法专刊前言 ****何积丰 2008,19(5):1081-1082 [Abstract(7529)]  [View PDF(7727)184.61 K]

Requirement Driven Aggregation of Active Internetware Entities ZHENG Li-Wei and JIN Zhi 2008,19(5):1083-1098 [Abstract(6983)]  [View PDF(7674)573.14 K]

Negotiation-Enabled Modeling and Verification of Architectural Behavior of Internetware ZHOU Li,CHEN Xiang-Ping,HUANG Gang,SUN Yan-Chun and MEI Hong 2008,19(5):1099-1112 [Abstract(8479)]  [View PDF(8296)801.00 K]

Component Model and Its Implementation of Internetware Based on Agent CHANG Zhi-Ming,MAO Xin-Jun and QI Zhi-Chang 2008,19(5):1113-1124 [Abstract(8012)]  [View PDF(9539)683.56 K]

Formal Models and Methods on Volunteer Computing WANG Yu and WANG Zhi-Jian 2008,19(5):1125-1133 [Abstract(8462)]  [View PDF(8137)385.16 K]

An Approach to Refining Active Components Based on Component Calculus CHEN Xin 2008,19(5):1134-1148 [Abstract(7630)]  [View PDF(7722)571.25 K]

Verification of Component Composition Based on Abstraction Refinement ZENG Hong-Wei and MIAO Huai-Kou 2008,19(5):1149-1159 [Abstract(7609)]  [View PDF(8198)575.12 K]

An Approach to Dynamically Operating Data Pragmatics for Internetware TENG Teng,HUANG Gang,CHEN Xing-Run and MEI Hong 2008,19(5):1160-1172 [Abstract(7787)]  [View PDF(7213)1.22 M]

A Dynamic QoS Assessment Approach for Internetware with Uncertainty Reasoning WU Guo-Quan,WEI Jun and HUANG Tao 2008,19(5):1173-1185 [Abstract(8185)]  [View PDF(8107)663.41 K]

Formal Analysis and Verification of Resource Adaptability for Internetware HU Jun,HUANG Zhi-Qiu,CAO Dong and XU Bing-Feng 2008,19(5):1186-1200 [Abstract(8683)]  [View PDF(8048)616.32 K]

Dynamic Service Evolving Based on OSGi ZHANG Shi and HUANG Lin-Peng 2008,19(5):1201-1211 [Abstract(7941)]  [View PDF(8562)430.91 K]