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

2003年第14卷第1期目录

   
浏览其它刊期:  
  

本期目录

传值进程模型检测中诊断信息的生成
  刘剑,林惠民
  2003,14(1):1-8 [摘要(2887)]  [PDF 1.05 M (2865)]
  
量子自动机的刻画
  邱道文
  2003,14(1):9-15 [摘要(2595)]  [PDF 664.00 K (2705)]
  
γ演算到Action演算的转换
  金英,金成植
  2003,14(1):16-22 [摘要(2764)]  [PDF 646.85 K (2677)]
  
基于量子逻辑的自动机和文法理论
  邱道文
  2003,14(1):23-27 [摘要(3095)]  [PDF 535.30 K (3067)]
  
基于蛇型磁带的海量数据排序算法
  李建中,张艳秋
  2003,14(1):28-34 [摘要(3682)]  [PDF 595.29 K (3234)]
  
求解TSP问题的多级归约算法
  邹鹏,周智,陈国良,顾钧
  2003,14(1):35-42 [摘要(2790)]  [PDF 906.15 K (4347)]
  
具有O(n)消息复杂度的协调检查点设置算法
  汪东升,邵明珑
  2003,14(1):43-48 [摘要(3048)]  [PDF 553.10 K (2820)]
  
对一个分布式终止探测算法的改进
  刘旭民,苏运霖
  2003,14(1):49-53 [摘要(3292)]  [PDF 466.56 K (2774)]
  
三机冗余容错系统的描述和验证
  郭亮,唐稚松
  2003,14(1):54-61 [摘要(3156)]  [PDF 766.54 K (2828)]
  
支持工作流动态变化的过程元模型
  孙瑞志,史美林
  2003,14(1):62-67 [摘要(3192)]  [PDF 518.63 K (3941)]
  
程序执行时间的静态预估与可视化分析方法
  孙昌爱,金茂忠,刘超,靳若明
  2003,14(1):68-75 [摘要(2973)]  [PDF 751.26 K (3305)]
  
基于任务的访问控制模型
  邓集波,洪帆
  2003,14(1):76-82 [摘要(6291)]  [PDF 614.90 K (8396)]
  
开放式实时系统的调度理论与方法分析
  邹勇,李明树,王青
  2003,14(1):83-90 [摘要(2815)]  [PDF 659.49 K (3798)]
  
多级安全性政策的历史敏感性
  石文昌,孙玉芳
  2003,14(1):91-96 [摘要(3318)]  [PDF 651.13 K (3311)]
  
青鸟面向对象软件建模工具的研究与实现
  麻志毅,赵俊峰,孟祥文,张文娟
  2003,14(1):97-102 [摘要(4021)]  [PDF 563.88 K (3175)]
  
基于UML的软硬件协同设计的模型分析方法
  陈思功,秦晓,章恒翀
  2003,14(1):103-109 [摘要(3091)]  [PDF 608.01 K (3530)]
  
基于标记的缓存协作分布式Web服务器系统
  林曼筠,钱华林
  2003,14(1):117-123 [摘要(2468)]  [PDF 603.23 K (2951)]
  
通用多速率组播加权公平速率分配理论
  翟明玉,顾冠群
  2003,14(1):124-131 [摘要(2743)]  [PDF 814.43 K (3034)]
  
一个应用于移动Ad Hoc网络管理的簇生成算法
  冯永新,王光兴,刘治国,姜月秋
  2003,14(1):132-138 [摘要(2541)]  [PDF 566.81 K (3652)]
  
移动分布式实时嵌套事务提交
  刘云生,廖国琼,李国徽,夏家莉
  2003,14(1):139-145 [摘要(2740)]  [PDF 641.40 K (2815)]
  
基于RSA和单向函数防欺诈的秘密共享体制
  费如纯,王丽娜
  2003,14(1):146-150 [摘要(2931)]  [PDF 479.41 K (3398)]
  
安全组播的Huffman层次密钥管理
  屈劲,葛建华,蒋铭
  2003,14(1):151-156 [摘要(2681)]  [PDF 578.86 K (3017)]
  

综述文章

Internet测量与分析综述
  张宏莉,方滨兴,胡铭曾,姜誉,詹春艳,张树峰
  2003,14(1):110-116 [摘要(6422)]  [PDF 675.66 K (6650)]
  
 

京公网安备 11040202500064号

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