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