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