| |
2010年第21卷第2期目录
专刊文章 | | | 可信软件的构造与演化分析专刊前言 | | | ****王怀民,徐洁 | | | 2010,21(2):177-178 [摘要(9203)] [PDF 233.26 K (9258)] | | | | | 面向高可信软件的整数溢出错误的自动化测试 | | | 卢锡城,李根,卢凯,张英 | | | 2010,21(2):179-193 [摘要(10215)] [PDF 1.76 M (10346)] | | | | | 一种资源敏感的Web应用性能诊断方法 | | | 王伟,张文博,魏峻,钟华,黄涛 | | | 2010,21(2):194-208 [摘要(9554)] [PDF 1.44 M (10939)] | | | | | 一种路径敏感的静态缺陷检测方法 | | | 肖庆,宫云战,杨朝红,金大海,王雅文 | | | 2010,21(2):209-217 [摘要(9919)] [PDF 745.49 K (9910)] | | | | | 可扩展的多周期检查点设置 | | | 慈轶为,张展,左德承,吴智博,杨孝宗 | | | 2010,21(2):218-230 [摘要(9764)] [PDF 1016.67 K (8191)] | | | | | 基于Petri网的服务组合故障诊断与处理 | | | 范贵生,虞慧群,陈丽琼,刘冬梅 | | | 2010,21(2):231-247 [摘要(12792)] [PDF 1.21 M (17654)] | | | | | 基于动态描述逻辑的网构软件系统故障诊断 | | | 王竹晓,杨鲲,史忠植 | | | 2010,21(2):248-260 [摘要(8996)] [PDF 1.03 M (9665)] | | | | | 基于服务组合的可信软件动态演化机制 | | | 曾晋,孙海龙,刘旭东,邓婷,怀进鹏 | | | 2010,21(2):261-276 [摘要(10157)] [PDF 1.44 M (13031)] | | | | | 一种面向服务的可靠多媒体传输算法 | | | 张胜,钱柱中,陆桑璐 | | | 2010,21(2):277-286 [摘要(9017)] [PDF 1.03 M (8613)] | | | | | 一种从UML模型到可靠性分析模型的转换方法 | | | 柳毅,麻志毅,何啸,邵维忠 | | | 2010,21(2):287-304 [摘要(8557)] [PDF 2.60 M (10565)] | | | | | 字节码虚拟机的构造和验证 | | | 董渊,任恺,王生原,张素琴 | | | 2010,21(2):305-317 [摘要(8281)] [PDF 945.12 K (10029)] | | | | | 面向参数化LTL的预测监控器构造技术 | | | 赵常智,董威,隋平,齐治昌 | | | 2010,21(2):318-333 [摘要(8271)] [PDF 1.06 M (8347)] | | | | | 处理指针相等关系不确定的指针逻辑 | | | 梁红瑾,张昱,陈意云,李兆鹏,华保健 | | | 2010,21(2):334-343 [摘要(10648)] [PDF 701.30 K (8018)] | | | | | 一种关键任务系统自律可信性模型与量化分析 | | | 王慧强,吕宏武,赵倩,董玺坤,冯光升 | | | 2010,21(2):344-358 [摘要(8466)] [PDF 1.01 M (9249)] | | | | | 一种支持软件资源可信评估的框架 | | | 蔡斯博,邹艳珍,邵凌霜,谢冰,邵维忠 | | | 2010,21(2):359-372 [摘要(9208)] [PDF 1.00 M (10095)] | | | | | 基于TPM的运行时软件可信证据收集机制 | | | 古亮,郭耀,王华,邹艳珍,谢冰,邵维忠 | | | 2010,21(2):373-387 [摘要(8716)] [PDF 1.10 M (12714)] | | | | | 面向可信服务选取的基于声誉的推荐者发现方法 | | | 潘静,徐锋,吕建 | | | 2010,21(2):388-400 [摘要(9164)] [PDF 1.18 M (10475)] | | | |
|
