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

2005年第16卷第3期目录

   
浏览其它刊期:  
  

本期目录

由一阶逻辑公式得到命题逻辑可满足性问题实例
  黄拙,张健
  2005,16(3):327-335 [摘要(4040)]  [PDF 1019.11 K (3409)]
  
不可满足公式的同态证明系统
  许道云
  2005,16(3):336-345 [摘要(3261)]  [PDF 1.13 M (2518)]
  
一种用于Java程序验证编译的标签类型
  陈晖,陈意云,茹祥民
  2005,16(3):346-354 [摘要(2742)]  [PDF 1.01 M (2807)]
  
QRDChecker:一个QRDC模型检验工具
  裴玉,徐启文,李宣东,郑国梁
  2005,16(3):355-364 [摘要(2925)]  [PDF 684.99 K (3317)]
  
均值漂移算法的收敛性
  李乡儒,吴福朝,胡占义
  2005,16(3):365-374 [摘要(6667)]  [PDF 1.12 M (11032)]
  
时隙间迭代的输入队列交换机Round-Robin调度算法
  吴俊,陈晴,罗军舟
  2005,16(3):375-383 [摘要(3510)]  [PDF 997.49 K (3656)]
  
一种分布式吴方法计算模型
  武永卫,杨广文,杨宏,郑纬民,林东岱
  2005,16(3):384-391 [摘要(3110)]  [PDF 884.29 K (3592)]
  
k-Median近似计算复杂度与局部搜索近似算法分析
  潘锐,朱大铭,马绍汉,肖进杰
  2005,16(3):392-399 [摘要(3858)]  [PDF 1.03 M (4143)]
  
工作流活动多实例的调度控制
  孙瑞志,史美林
  2005,16(3):400-406 [摘要(3061)]  [PDF 824.27 K (3220)]
  
一种支持软件过程控制和改进的主动度量模型
  王青,李明树,刘霞
  2005,16(3):407-418 [摘要(3101)]  [PDF 1.24 M (3399)]
  
针对一般线性约束的Petri网控制器设计方法
  王寿光,颜钢锋
  2005,16(3):419-426 [摘要(2793)]  [PDF 1018.53 K (2999)]
  
软件需求定量分析及其映射的模糊层次分析法
  熊伟,新藤久和,渡边喜道
  2005,16(3):427-433 [摘要(2958)]  [PDF 864.87 K (5246)]
  
Ad Hoc网中基于熵的长寿分布式QoS路由算法
  沈晖,石冰心,石邹玲,石坚,周建新
  2005,16(3):445-452 [摘要(2865)]  [PDF 1.00 M (3641)]
  
抵抗一般结构敌手的自适应安全分布式密钥生成协议
  何云筱,李宝,吕克伟
  2005,16(3):453-461 [摘要(2788)]  [PDF 1003.62 K (2567)]
  
Linux环境下路由器中的网络带宽管理
  张焕强,吴志美
  2005,16(3):462-471 [摘要(2509)]  [PDF 1.03 M (3479)]
  
一个群签名成员删除方案的密码学分析
  黄振杰,林宣治
  2005,16(3):472-476 [摘要(2859)]  [PDF 628.75 K (2740)]
  
一种用于移动Agent数据保护的机制
  谭湘,顾毓清,包崇明
  2005,16(3):477-484 [摘要(2826)]  [PDF 763.89 K (3054)]
  

综述文章

MANET中TCP改进研究综述
  冯彦君,孙利民,钱华林,宋成
  2005,16(3):434-444 [摘要(5887)]  [PDF 1.14 M (3978)]
  
 

京公网安备 11040202500064号

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