主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2019-2020年专刊出版计划 微信服务介绍 最新一期:2019年第3期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2008年第19卷第5期目录

   
浏览其它刊期:  
  

本期目录

自适应组件副本选择模型及算法
  左 林,刘绍华,魏 峻,冯玉琳,范国闯
  2008,19(5):1212-1223 [摘要(2947)]  [PDF 510.08 K (2911)]
  
扩展呼叫处理语言:一种面向综合通信服务的语言
  杨 骎,温嘉佳,陈俊亮
  2008,19(5):1224-1233 [摘要(2853)]  [PDF 532.89 K (3305)]
  
可用带宽度量系统中的若干基本问题
  周 辉,李 丹,王永吉
  2008,19(5):1234-1255 [摘要(3103)]  [PDF 1.10 M (3703)]
  
对一种新的序列密码结构的密码分析
  黄小莉,武传坤
  2008,19(5):1256-1264 [摘要(3261)]  [PDF 399.06 K (3346)]
  

专刊文章

Internet环境下基于构件的软件理论与方法专刊前言
  ****何积丰,李宣东
  2008,19(5):1081-1082 [摘要(5612)]  [PDF 184.61 K (3916)]
  
需求驱动的主动网构实体聚合
  郑丽伟,金 芝
  2008,19(5):1083-1098 [摘要(4963)]  [PDF 573.14 K (3840)]
  
支持协商的网构软件体系结构行为建模与验证
  周 立,陈湘萍,黄 罡,孙艳春,梅 宏
  2008,19(5):1099-1112 [摘要(6101)]  [PDF 801.00 K (4299)]
  
基于Agent的网构软件构件模型及其实现
  常志明,毛新军,齐治昌
  2008,19(5):1113-1124 [摘要(5741)]  [PDF 683.56 K (5267)]
  
志愿计算模型形式化方法
  王 宇,王志坚
  2008,19(5):1125-1133 [摘要(6054)]  [PDF 385.16 K (3994)]
  
一种基于构件演算的主动构件精化方法
  陈 鑫
  2008,19(5):1134-1148 [摘要(5452)]  [PDF 571.25 K (3663)]
  
构件组合的抽象精化验证
  曾红卫,缪淮扣
  2008,19(5):1149-1159 [摘要(5393)]  [PDF 575.12 K (4085)]
  
网构软件数据语用的一种动态支撑方法
  滕 腾,黄 罡,陈兴润,梅 宏
  2008,19(5):1160-1172 [摘要(5386)]  [PDF 1.22 M (3914)]
  
基于非确定性推理的网构软件服务质量动态评估方法
  吴国全,魏 峻,黄 涛
  2008,19(5):1173-1185 [摘要(5794)]  [PDF 663.41 K (4156)]
  
网构软件的资源自适应性的形式化分析与验证
  胡 军,黄志球,曹 东,徐丙凤
  2008,19(5):1186-1200 [摘要(6211)]  [PDF 616.32 K (4075)]
  
基于OSGi的服务动态演化
  张 仕,黄林鹏
  2008,19(5):1201-1211 [摘要(5740)]  [PDF 430.91 K (4641)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利