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