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