| |
2008年第19卷第5期目录
本期目录 | | | 自适应组件副本选择模型及算法 | | | 左 林,刘绍华,魏 峻,冯玉琳,范国闯 | | | 2008,19(5):1212-1223 | | | [摘要](4794) [PDF 510.08 K](7171) | | | 扩展呼叫处理语言:一种面向综合通信服务的语言 | | | 杨 骎,温嘉佳,陈俊亮 | | | 2008,19(5):1224-1233 | | | [摘要](5076) [PDF 532.89 K](6723) | | | 可用带宽度量系统中的若干基本问题 | | | 周 辉,李 丹,王永吉 | | | 2008,19(5):1234-1255 | | | [摘要](4929) [PDF 1.10 M](8605) | | | 对一种新的序列密码结构的密码分析 | | | 黄小莉,武传坤 | | | 2008,19(5):1256-1264 | | | [摘要](5305) [PDF 399.06 K](7374) | |
专刊文章 | | | Internet环境下基于构件的软件理论与方法专刊前言 | | | ****何积丰,李宣东 | | | 2008,19(5):1081-1082 | | | [摘要](8148) [PDF 184.61 K](9290) | | | 需求驱动的主动网构实体聚合 | | | 郑丽伟,金 芝 | | | 2008,19(5):1083-1098 | | | [摘要](7593) [PDF 573.14 K](9330) | | | 支持协商的网构软件体系结构行为建模与验证 | | | 周 立,陈湘萍,黄 罡,孙艳春,梅 宏 | | | 2008,19(5):1099-1112 | | | [摘要](9243) [PDF 801.00 K](10057) | | | 基于Agent的网构软件构件模型及其实现 | | | 常志明,毛新军,齐治昌 | | | 2008,19(5):1113-1124 | | | [摘要](8879) [PDF 683.56 K](11367) | | | 志愿计算模型形式化方法 | | | 王 宇,王志坚 | | | 2008,19(5):1125-1133 | | | [摘要](9163) [PDF 385.16 K](9809) | | | 一种基于构件演算的主动构件精化方法 | | | 陈 鑫 | | | 2008,19(5):1134-1148 | | | [摘要](8274) [PDF 571.25 K](9528) | | | 构件组合的抽象精化验证 | | | 曾红卫,缪淮扣 | | | 2008,19(5):1149-1159 | | | [摘要](8159) [PDF 575.12 K](9895) | | | 网构软件数据语用的一种动态支撑方法 | | | 滕 腾,黄 罡,陈兴润,梅 宏 | | | 2008,19(5):1160-1172 | | | [摘要](8693) [PDF 1.22 M](8795) | | | 基于非确定性推理的网构软件服务质量动态评估方法 | | | 吴国全,魏 峻,黄 涛 | | | 2008,19(5):1173-1185 | | | [摘要](9019) [PDF 663.41 K](9717) | | | 网构软件的资源自适应性的形式化分析与验证 | | | 胡 军,黄志球,曹 东,徐丙凤 | | | 2008,19(5):1186-1200 | | | [摘要](9548) [PDF 616.32 K](9534) | | | 基于OSGi的服务动态演化 | | | 张 仕,黄林鹏 | | | 2008,19(5):1201-1211 | | | [摘要](8568) [PDF 430.91 K](10040) | |
|
