| |
2011年第22卷第6期目录
本期目录 | | | 可量化的移动Ad Hoc 网络时空动态特性评估方法 | | | 王伟,管晓宏,王备战,王亚平 | | | 2011,22(6):1333-1349 [摘要(4531)] [PDF 561.52 K (9133)] | | | | | 高效安全的基于身份的签名方案 | | | 谷科,贾维嘉,姜春林 | | | 2011,22(6):1350-1360 [摘要(6745)] [PDF 585.42 K (7209)] | | | | | WSANs 中基于实时性约束的actor 节点优化部署策略 | | | 车楠,李治军,姜守旭 | | | 2011,22(6):1361-1372 [摘要(5423)] [PDF 749.26 K (5659)] | | | | | 基于爬行器的大规模P2P IPTV 测量 | | | 姜志宏,王晖,樊鹏翼 | | | 2011,22(6):1373-1388 [摘要(5544)] [PDF 877.73 K (6510)] | | | | | 各向异性传感环境下的移动对象反监控算法 | | | 王雷,蒋新华,王益民,林亚平 | | | 2011,22(6):1389-1397 [摘要(4458)] [PDF 757.51 K (5479)] | | | | | 基于不确定图的网络漏洞分析方法 | | | 刘强,殷建平,蔡志平,程杰仁 | | | 2011,22(6):1398-1412 [摘要(4948)] [PDF 617.70 K (7005)] | | | |
综述文章 | | | P2P 流量识别 | | | 鲁刚,张宏莉,叶麟 | | | 2011,22(6):1281-1298 [摘要(9561)] [PDF 840.72 K (14357)] | | | | | 属性基加密机制 | | | 苏金树,曹丹,王小峰,孙一品,胡乔林 | | | 2011,22(6):1299-1315 [摘要(11506)] [PDF 987.90 K (25799)] | | | | | 无证书公钥密码体制研究 | | | 张福泰,孙银霞,张磊,耿曼曼,李素娟 | | | 2011,22(6):1316-1332 [摘要(11451)] [PDF 817.61 K (17965)] | | | |
专刊文章 | | | 形式化方法与工具专刊前言 | | | ****王戟,李宣东 | | | 2011,22(6):1121-1122 [摘要(8537)] [PDF 181.15 K (7031)] | | | | | 策略驱动的可靠嵌入式系统建模及分析方法 | | | 范贵生,虞慧群,陈丽琼,刘冬梅 | | | 2011,22(6):1123-1139 [摘要(7955)] [PDF 568.31 K (8576)] | | | | | Java 指针指向分析优化 | | | 李倩,汤恩义,戴雪峰,王林章,赵建华 | | | 2011,22(6):1140-1154 [摘要(8912)] [PDF 723.13 K (9617)] | | | | | Object-Z 规格说明测试用例的自动生成器 | | | 许庆国,缪淮扣,曹晓夏,胡晓波 | | | 2011,22(6):1155-1168 [摘要(9081)] [PDF 926.87 K (11021)] | | | | | 循环对称化简及在三值模型上的扩展 | | | 魏欧,袁泳,蔡昕烨,黄志球,徐丙凤 | | | 2011,22(6):1169-1184 [摘要(9241)] [PDF 769.28 K (7845)] | | | | | 场景驱动的服务行为调控 | | | 柳溪,杨璐,潘敏学,王林章 | | | 2011,22(6):1185-1198 [摘要(8672)] [PDF 789.46 K (7405)] | | | | | 混合语义时间Petri 网模型 | | | 潘理,丁志军,郭观七 | | | 2011,22(6):1199-1209 [摘要(8296)] [PDF 623.71 K (7824)] | | | | | 软件体系结构动态演化的条件超图文法及分析 | | | 徐洪珍,曾国荪,陈波 | | | 2011,22(6):1210-1223 [摘要(8605)] [PDF 466.11 K (8551)] | | | | | 基于AOP 的运行时验证中的冲突检测 | | | 张献,董威,齐治昌 | | | 2011,22(6):1224-1235 [摘要(8847)] [PDF 603.94 K (8164)] | | | | | 基于自动机理论的分布式实时调度分析工具 | | | 桂盛霖,罗蕾,李允,于淼,徐建华 | | | 2011,22(6):1236-1251 [摘要(8787)] [PDF 915.24 K (7990)] | | | | | AADL 模型可靠性分析评估工具 | | | 董云卫,王广仁,张凡,高磊 | | | 2011,22(6):1252-1266 [摘要(9990)] [PDF 882.34 K (12435)] | | | | | 时变网络中国邮路问题的时间自动机模型 | | | 谭国真,孙景昊,王宝财,姚卫红 | | | 2011,22(6):1267-1280 [摘要(9698)] [PDF 627.04 K (8851)] | | | |
|
