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