2007年第18卷第1期目录
一种扩展了价格信息的时间Petri网刘显明,李师贤,李文军,潘理2007,18(1):1-10 [摘要(5495)] [PDF(6123)767.00 K][HTML(0)]时间约束Petri网及其可调度性分析与验证宋巍,窦万春,刘茜萍2007,18(1):11-21 [摘要(4861)] [PDF(7714)902.74 K][HTML(0)]Petri网共享PP-型子网合成性质分析夏传良,焦莉,陆维明2007,18(1):22-32 [摘要(4250)] [PDF(5897)875.27 K][HTML(0)]G?del n值命题逻辑中命题的α-真度理论李骏,王国俊2007,18(1):33-39 [摘要(4033)] [PDF(5965)435.15 K][HTML(0)]关于二元延迟3步前馈逆有限自动机的结构王鸿吉,姚刚2007,18(1):40-49 [摘要(4065)] [PDF(4995)1.28 M][HTML(0)]场景驱动的构件行为抽取张岩,胡军,于笑丰,张天,李宣东,郑国梁2007,18(1):50-61 [摘要(5785)] [PDF(6058)770.53 K][HTML(0)]一种基于时间自动机的实时系统测试方法陈伟,薛云志,赵琛,李明树2007,18(1):62-73 [摘要(6297)] [PDF(8074)760.47 K][HTML(0)]一种基于异常传播分析的数据流分析方法姜淑娟,徐宝文,史亮2007,18(1):74-84 [摘要(4361)] [PDF(5902)671.46 K][HTML(0)]基于目标距离评估的启发式Web Services组合算法温嘉佳,陈俊亮,彭泳2007,18(1):85-93 [摘要(4742)] [PDF(6324)529.68 K][HTML(0)]一种基于模型的特征交互检测方法左继红,王千祥,梅宏2007,18(1):94-104 [摘要(4241)] [PDF(5398)653.07 K][HTML(0)]基于轨迹标签的无结构P2P副本一致性维护算法谢鲲,张大方,谢高岗,文吉刚2007,18(1):105-116 [摘要(4611)] [PDF(5583)743.85 K][HTML(0)]基于有状态Bloom filter引擎的高速分组检测叶明江,崔勇,徐恪,吴建平2007,18(1):117-126 [摘要(5562)] [PDF(6547)629.39 K][HTML(0)]无线传感器网络多重覆盖问题分析刘明,曹建农,郑源,陈力军,谢立2007,18(1):127-136 [摘要(5171)] [PDF(6009)788.35 K][HTML(0)]用于评估网络信息系统的风险传播模型张永铮,方滨兴,迟悦,云晓春2007,18(1):137-145 [摘要(5954)] [PDF(7735)904.20 K][HTML(0)]内容传递网络处理能力受限代理放置贪婪算法陈益峰,何炎祥,曹建农2007,18(1):146-156 [摘要(9789)] [PDF(17450)728.16 K][HTML(0)]基于相似度加权推荐的P2P环境下的信任模型李景涛,荆一楠,肖晓春,王雪平,张根度2007,18(1):157-167 [摘要(7303)] [PDF(9775)647.89 K][HTML(0)]基于分布式密钥生成方法的RSA可验证签名分享设计吕克伟2007,18(1):168-176 [摘要(4733)] [PDF(5552)570.47 K][HTML(0)]
