2003年第14卷第1期目录
传值进程模型检测中诊断信息的生成刘剑,林惠民2003,14(1):1-8 [摘要(4113)] [PDF(5551)1.05 M][HTML(0)]量子自动机的刻画邱道文2003,14(1):9-15 [摘要(3713)] [PDF(4951)664.00 K][HTML(0)]γ演算到Action演算的转换金英,金成植2003,14(1):16-22 [摘要(3813)] [PDF(5201)646.85 K][HTML(0)]基于量子逻辑的自动机和文法理论邱道文2003,14(1):23-27 [摘要(4230)] [PDF(5466)535.30 K][HTML(0)]基于蛇型磁带的海量数据排序算法李建中,张艳秋2003,14(1):28-34 [摘要(5141)] [PDF(5702)595.29 K][HTML(0)]求解TSP问题的多级归约算法邹鹏,周智,陈国良,顾钧2003,14(1):35-42 [摘要(4349)] [PDF(6948)906.15 K][HTML(0)]具有O(n)消息复杂度的协调检查点设置算法汪东升,邵明珑2003,14(1):43-48 [摘要(4228)] [PDF(5386)553.10 K][HTML(0)]对一个分布式终止探测算法的改进刘旭民,苏运霖2003,14(1):49-53 [摘要(4521)] [PDF(5123)466.56 K][HTML(0)]三机冗余容错系统的描述和验证郭亮,唐稚松2003,14(1):54-61 [摘要(4445)] [PDF(5365)766.54 K][HTML(0)]支持工作流动态变化的过程元模型孙瑞志,史美林2003,14(1):62-67 [摘要(4358)] [PDF(6646)518.63 K][HTML(0)]程序执行时间的静态预估与可视化分析方法孙昌爱,金茂忠,刘超,靳若明2003,14(1):68-75 [摘要(4203)] [PDF(6160)751.26 K][HTML(0)]基于任务的访问控制模型邓集波,洪帆2003,14(1):76-82 [摘要(9272)] [PDF(12911)614.90 K][HTML(0)]开放式实时系统的调度理论与方法分析邹勇,李明树,王青2003,14(1):83-90 [摘要(4150)] [PDF(7108)659.49 K][HTML(0)]多级安全性政策的历史敏感性石文昌,孙玉芳2003,14(1):91-96 [摘要(4645)] [PDF(5874)651.13 K][HTML(0)]青鸟面向对象软件建模工具的研究与实现麻志毅,赵俊峰,孟祥文,张文娟2003,14(1):97-102 [摘要(5499)] [PDF(5877)563.88 K][HTML(0)]基于UML的软硬件协同设计的模型分析方法陈思功,秦晓,章恒翀2003,14(1):103-109 [摘要(4210)] [PDF(6241)608.01 K][HTML(0)]基于标记的缓存协作分布式Web服务器系统林曼筠,钱华林2003,14(1):117-123 [摘要(3684)] [PDF(5462)603.23 K][HTML(0)]通用多速率组播加权公平速率分配理论翟明玉,顾冠群2003,14(1):124-131 [摘要(3810)] [PDF(5518)814.43 K][HTML(0)]一个应用于移动Ad Hoc网络管理的簇生成算法冯永新,王光兴,刘治国,姜月秋2003,14(1):132-138 [摘要(3727)] [PDF(6359)566.81 K][HTML(0)]移动分布式实时嵌套事务提交刘云生,廖国琼,李国徽,夏家莉2003,14(1):139-145 [摘要(3888)] [PDF(5180)641.40 K][HTML(0)]基于RSA和单向函数防欺诈的秘密共享体制费如纯,王丽娜2003,14(1):146-150 [摘要(4295)] [PDF(6110)479.41 K][HTML(0)]安全组播的Huffman层次密钥管理屈劲,葛建华,蒋铭2003,14(1):151-156 [摘要(3813)] [PDF(5677)578.86 K][HTML(0)]
Internet测量与分析综述张宏莉,方滨兴,胡铭曾,姜誉,詹春艳,张树峰2003,14(1):110-116 [摘要(8811)] [PDF(11902)675.66 K][HTML(0)]
