| |
2006年第17卷第1期目录
本期目录 | | | 有限精度时间自动机的可达性检测 | | | 晏荣杰,李广元,徐雨波,刘春明,唐稚松 | | | 2006,17(1):1-10 [摘要(5054)] [PDF 708.55 K (5294)] | | | | | Petri网精细化操作及其在系统设计中的应用 | | | 夏传良,焦莉,陆维明 | | | 2006,17(1):11-19 [摘要(4358)] [PDF 724.64 K (5206)] | | | | | 基于描述逻辑的模糊ER模型 | | | 蒋运承,汤庸,王驹 | | | 2006,17(1):20-30 [摘要(5338)] [PDF 817.31 K (5899)] | | | | | 一种任务类型敏感的J2EE事务调度算法 | | | 丁晓宁,张昕,金蓓弘,黄涛 | | | 2006,17(1):31-38 [摘要(4196)] [PDF 518.91 K (5140)] | | | | | 基于特征的构件模型及其规范化设计过程 | | | 王忠杰,徐晓飞,战德臣 | | | 2006,17(1):39-47 [摘要(4301)] [PDF 593.07 K (5440)] | | | | | 基于场景构件式实时软件设计的一致性检验 | | | 胡军,于笑丰,张岩,李宣东,郑国梁 | | | 2006,17(1):48-58 [摘要(4660)] [PDF 729.39 K (5257)] | | | | | 基于有向超图的资源约束下企业过程结构优化 | | | 孙雪冬,徐晓飞,王刚 | | | 2006,17(1):59-68 [摘要(4371)] [PDF 419.65 K (5546)] | | | | | 一种笔式用户界面软件领域模型及其应用 | | | 秦严严,田丰,王晓春,戴国忠 | | | 2006,17(1):69-78 [摘要(4241)] [PDF 570.35 K (5723)] | | | | | 基于快速组播切换的分层移动组播体系结构 | | | 吴茜,吴建平,徐明伟,崔勇 | | | 2006,17(1):86-95 [摘要(4365)] [PDF 651.91 K (5243)] | | | | | Peer-to-Peer环境下多粒度Trust模型构造 | | | 张骞,张霞,文学志,刘积仁,Ting Shan | | | 2006,17(1):96-107 [摘要(4694)] [PDF 807.79 K (6303)] | | | | | 端到端的可用带宽测量方法 | | | 刘敏,李忠诚,过晓冰,邓辉 | | | 2006,17(1):108-116 [摘要(4499)] [PDF 618.13 K (6558)] | | | | | 延迟约束的分布式演化网络监测模型 | | | 蔡志平,殷建平,刘芳,刘湘辉 | | | 2006,17(1):117-123 [摘要(4995)] [PDF 465.85 K (5065)] | | | | | 自动信任协商研究 | | | 李建欣,怀进鹏,李先贤 | | | 2006,17(1):124-133 [摘要(4877)] [PDF 472.98 K (6232)] | | | | | 面向大规模分布式计算发布订阅系统核心技术 | | | 马建刚,黄涛,汪锦岭,徐罡,叶丹 | | | 2006,17(1):134-147 [摘要(5205)] [PDF 664.65 K (11359)] | | | | | 基于认证测试的安全协议分析 | | | 杨明,罗军舟 | | | 2006,17(1):148-156 [摘要(4469)] [PDF 560.99 K (5426)] | | | | | 基于安全多方计算的数字作品所有权证明 | | | 朱岩,杨永田,孙中伟,冯登国 | | | 2006,17(1):157-166 [摘要(4621)] [PDF 590.63 K (4734)] | | | | | GMPLS网络中多约束QoS路由的预计算方法 | | | 华宇,吴产乐,王勇 | | | 2006,17(1):167-174 [摘要(3986)] [PDF 593.27 K (4644)] | | | |
|
