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