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(4793)]  [View PDF(7170)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(5075)]  [View PDF(6721)532.89 K]

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

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

Special Issue's Articles

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

Requirement Driven Aggregation of Active Internetware Entities ZHENG Li-Wei and JIN Zhi 2008,19(5):1083-1098 [Abstract(7592)]  [View PDF(9329)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(9242)]  [View PDF(10056)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(8878)]  [View PDF(11367)683.56 K]

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

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

Verification of Component Composition Based on Abstraction Refinement ZENG Hong-Wei and MIAO Huai-Kou 2008,19(5):1149-1159 [Abstract(8157)]  [View PDF(9894)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(8690)]  [View PDF(8795)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(9016)]  [View PDF(9716)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(9547)]  [View PDF(9532)616.32 K]

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