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