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