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