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