 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| |
2003年第14卷第1期目录
本期目录 | | | 传值进程模型检测中诊断信息的生成 | | | 刘剑,林惠民 | | | 2003,14(1):1-8 [摘要(2982)] [PDF 1.05 M (2925)] | | | | | 量子自动机的刻画 | | | 邱道文 | | | 2003,14(1):9-15 [摘要(2709)] [PDF 664.00 K (2751)] | | | | | γ演算到Action演算的转换 | | | 金英,金成植 | | | 2003,14(1):16-22 [摘要(2864)] [PDF 646.85 K (2730)] | | | | | 基于量子逻辑的自动机和文法理论 | | | 邱道文 | | | 2003,14(1):23-27 [摘要(3210)] [PDF 535.30 K (3125)] | | | | | 基于蛇型磁带的海量数据排序算法 | | | 李建中,张艳秋 | | | 2003,14(1):28-34 [摘要(3799)] [PDF 595.29 K (3309)] | | | | | 求解TSP问题的多级归约算法 | | | 邹鹏,周智,陈国良,顾钧 | | | 2003,14(1):35-42 [摘要(2914)] [PDF 906.15 K (4413)] | | | | | 具有O(n)消息复杂度的协调检查点设置算法 | | | 汪东升,邵明珑 | | | 2003,14(1):43-48 [摘要(3178)] [PDF 553.10 K (2869)] | | | | | 对一个分布式终止探测算法的改进 | | | 刘旭民,苏运霖 | | | 2003,14(1):49-53 [摘要(3430)] [PDF 466.56 K (2833)] | | | | | 三机冗余容错系统的描述和验证 | | | 郭亮,唐稚松 | | | 2003,14(1):54-61 [摘要(3255)] [PDF 766.54 K (2878)] | | | | | 支持工作流动态变化的过程元模型 | | | 孙瑞志,史美林 | | | 2003,14(1):62-67 [摘要(3298)] [PDF 518.63 K (4000)] | | | | | 程序执行时间的静态预估与可视化分析方法 | | | 孙昌爱,金茂忠,刘超,靳若明 | | | 2003,14(1):68-75 [摘要(3082)] [PDF 751.26 K (3369)] | | | | | 基于任务的访问控制模型 | | | 邓集波,洪帆 | | | 2003,14(1):76-82 [摘要(6556)] [PDF 614.90 K (8496)] | | | | | 开放式实时系统的调度理论与方法分析 | | | 邹勇,李明树,王青 | | | 2003,14(1):83-90 [摘要(2928)] [PDF 659.49 K (3883)] | | | | | 多级安全性政策的历史敏感性 | | | 石文昌,孙玉芳 | | | 2003,14(1):91-96 [摘要(3441)] [PDF 651.13 K (3362)] | | | | | 青鸟面向对象软件建模工具的研究与实现 | | | 麻志毅,赵俊峰,孟祥文,张文娟 | | | 2003,14(1):97-102 [摘要(4148)] [PDF 563.88 K (3224)] | | | | | 基于UML的软硬件协同设计的模型分析方法 | | | 陈思功,秦晓,章恒翀 | | | 2003,14(1):103-109 [摘要(3184)] [PDF 608.01 K (3600)] | | | | | 基于标记的缓存协作分布式Web服务器系统 | | | 林曼筠,钱华林 | | | 2003,14(1):117-123 [摘要(2567)] [PDF 603.23 K (3000)] | | | | | 通用多速率组播加权公平速率分配理论 | | | 翟明玉,顾冠群 | | | 2003,14(1):124-131 [摘要(2833)] [PDF 814.43 K (3085)] | | | | | 一个应用于移动Ad Hoc网络管理的簇生成算法 | | | 冯永新,王光兴,刘治国,姜月秋 | | | 2003,14(1):132-138 [摘要(2644)] [PDF 566.81 K (3717)] | | | | | 移动分布式实时嵌套事务提交 | | | 刘云生,廖国琼,李国徽,夏家莉 | | | 2003,14(1):139-145 [摘要(2827)] [PDF 641.40 K (2862)] | | | | | 基于RSA和单向函数防欺诈的秘密共享体制 | | | 费如纯,王丽娜 | | | 2003,14(1):146-150 [摘要(3058)] [PDF 479.41 K (3451)] | | | | | 安全组播的Huffman层次密钥管理 | | | 屈劲,葛建华,蒋铭 | | | 2003,14(1):151-156 [摘要(2787)] [PDF 578.86 K (3088)] | | | |
综述文章
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
