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