2003年第14卷第1期目录
浏览其它刊期:
2025年第36卷
2024年第35卷
2023年第34卷
2022年第33卷
2021年第32卷
2020年第31卷
2019年第30卷
2018年第29卷
2017年第28卷
2016年第27卷
2015年第26卷
2014年第25卷
2013年第24卷
2012年第23卷
2011年第22卷
2010年第21卷
2009年第20卷
2008年第19卷
2007年第18卷
2006年第17卷
2005年第16卷
2004年第15卷
2003年第14卷
2002年第13卷
2001年第12卷
2000年第11卷
1999年第10卷
1998年第9卷
1997年第8卷
1996年第7卷
1995年第6卷
1994年第5卷
1993年第4卷
1992年第3卷
1991年第2卷
1990年第1卷
5年
0年
第1期
第2期
第3期
第4期
第5期
第6期
第7期
第8期
第9期
第10期
第11期
第12期
本期目录
传值进程模型检测中诊断信息的生成
刘剑,林惠民
2003,14(1):1-8 [
摘要
(4082)
] [
PDF
(5395)
1.05 M
][
HTML(0)
]
量子自动机的刻画
邱道文
2003,14(1):9-15 [
摘要
(3684)
] [
PDF
(4812)
664.00 K
][
HTML(0)
]
γ
演算到Action演算的转换
金英,金成植
2003,14(1):16-22 [
摘要
(3771)
] [
PDF
(5046)
646.85 K
][
HTML(0)
]
基于量子逻辑的自动机和文法理论
邱道文
2003,14(1):23-27 [
摘要
(4190)
] [
PDF
(5312)
535.30 K
][
HTML(0)
]
基于蛇型磁带的海量数据排序算法
李建中,张艳秋
2003,14(1):28-34 [
摘要
(5094)
] [
PDF
(5568)
595.29 K
][
HTML(0)
]
求解TSP问题的多级归约算法
邹鹏,周智,陈国良,顾钧
2003,14(1):35-42 [
摘要
(4297)
] [
PDF
(6765)
906.15 K
][
HTML(0)
]
具有
O
(
n
)消息复杂度的协调检查点设置算法
汪东升,邵明珑
2003,14(1):43-48 [
摘要
(4191)
] [
PDF
(5232)
553.10 K
][
HTML(0)
]
对一个分布式终止探测算法的改进
刘旭民,苏运霖
2003,14(1):49-53 [
摘要
(4482)
] [
PDF
(4955)
466.56 K
][
HTML(0)
]
三机冗余容错系统的描述和验证
郭亮,唐稚松
2003,14(1):54-61 [
摘要
(4399)
] [
PDF
(5219)
766.54 K
][
HTML(0)
]
支持工作流动态变化的过程元模型
孙瑞志,史美林
2003,14(1):62-67 [
摘要
(4321)
] [
PDF
(6454)
518.63 K
][
HTML(0)
]
程序执行时间的静态预估与可视化分析方法
孙昌爱,金茂忠,刘超,靳若明
2003,14(1):68-75 [
摘要
(4149)
] [
PDF
(5999)
751.26 K
][
HTML(0)
]
基于任务的访问控制模型
邓集波,洪帆
2003,14(1):76-82 [
摘要
(9179)
] [
PDF
(12740)
614.90 K
][
HTML(0)
]
开放式实时系统的调度理论与方法分析
邹勇,李明树,王青
2003,14(1):83-90 [
摘要
(4114)
] [
PDF
(6918)
659.49 K
][
HTML(0)
]
多级安全性政策的历史敏感性
石文昌,孙玉芳
2003,14(1):91-96 [
摘要
(4596)
] [
PDF
(5723)
651.13 K
][
HTML(0)
]
青鸟面向对象软件建模工具的研究与实现
麻志毅,赵俊峰,孟祥文,张文娟
2003,14(1):97-102 [
摘要
(5472)
] [
PDF
(5743)
563.88 K
][
HTML(0)
]
基于UML的软硬件协同设计的模型分析方法
陈思功,秦晓,章恒翀
2003,14(1):103-109 [
摘要
(4160)
] [
PDF
(6105)
608.01 K
][
HTML(0)
]
基于标记的缓存协作分布式Web服务器系统
林曼筠,钱华林
2003,14(1):117-123 [
摘要
(3630)
] [
PDF
(5321)
603.23 K
][
HTML(0)
]
通用多速率组播加权公平速率分配理论
翟明玉,顾冠群
2003,14(1):124-131 [
摘要
(3786)
] [
PDF
(5369)
814.43 K
][
HTML(0)
]
一个应用于移动Ad Hoc网络管理的簇生成算法
冯永新,王光兴,刘治国,姜月秋
2003,14(1):132-138 [
摘要
(3687)
] [
PDF
(6211)
566.81 K
][
HTML(0)
]
移动分布式实时嵌套事务提交
刘云生,廖国琼,李国徽,夏家莉
2003,14(1):139-145 [
摘要
(3855)
] [
PDF
(5037)
641.40 K
][
HTML(0)
]
基于RSA和单向函数防欺诈的秘密共享体制
费如纯,王丽娜
2003,14(1):146-150 [
摘要
(4238)
] [
PDF
(5940)
479.41 K
][
HTML(0)
]
安全组播的Huffman层次密钥管理
屈劲,葛建华,蒋铭
2003,14(1):151-156 [
摘要
(3778)
] [
PDF
(5494)
578.86 K
][
HTML(0)
]
综述文章
Internet测量与分析综述
张宏莉,方滨兴,胡铭曾,姜誉,詹春艳,张树峰
2003,14(1):110-116 [
摘要
(8726)
] [
PDF
(11621)
675.66 K
][
HTML(0)
]
快速直达
作者登录
审稿登录
编辑登录
读者登录
最新录用
过刊浏览
期刊检索
RSS
E-mail
下载排行
点击排行
引用排行
返回首页
用微信扫一扫
