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