Volume 21,Issue 2,2010 Table of Contents
可信软件的构造与演化分析专刊前言**王怀民2010,21(2):177-178 [Abstract(9125)] [View PDF(8202)233.26 K]High-Trusted-Software-Oriented Automatic Testing for Integer Overflow BugsLU Xi-Cheng,LI Gen,LU Kai and ZHANG Ying2010,21(2):179-193 [Abstract(10093)] [View PDF(9273)1.76 M]Resource-Aware Performance Diagnostic Method for Web ApplicationsWANG Wei,ZHANG Wen-Bo,WEI Jun,ZHONG Hua and HUANG Tao2010,21(2):194-208 [Abstract(9440)] [View PDF(9832)1.44 M]Path Sensitive Static Defect Detecting MethodXIAO Qing,GONG Yun-Zhan,YANG Zhao-Hong,JIN Da-Hai and WANG Ya-Wen2010,21(2):209-217 [Abstract(9806)] [View PDF(8695)745.49 K]Scalable Time-Based Multi-Cycle CheckpointingCI Yi-Wei,ZHANG Zhan,ZUO De-Cheng,WU Zhi-Bo and YANG Xiao-Zong2010,21(2):218-230 [Abstract(9676)] [View PDF(7095)1016.67 K]Fault Diagnosis and Handling for Service Composition Based on Petri NetsFAN Gui-Sheng,YU Hui-Qun,CHEN Li-Qiong and LIU Dong-Mei2010,21(2):231-247 [Abstract(12692)] [View PDF(16209)1.21 M]Failure Diagnosis of Internetware Systems Using Dynamic Description LogicWANG Zhu-Xiao,YANG Kun and SHI Zhong-Zhi2010,21(2):248-260 [Abstract(8910)] [View PDF(8552)1.03 M]Dynamic Evolution Mechanism for Trustworthy Software Based on Service CompositionZENG Jin,SUN Hai-Long,LIU Xu-Dong,DENG Ting and HUAI Jin-Peng2010,21(2):261-276 [Abstract(10046)] [View PDF(11831)1.44 M]Service-Oriented Reliable Multimedia Delivery AlgorithmZHANG Sheng,QIAN Zhu-Zhong and LU Sang-Lu2010,21(2):277-286 [Abstract(8942)] [View PDF(7557)1.03 M]Approach to Transforming UML Model to Reliability Analysis ModelLIU Yi,MA Zhi-Yi,HE Xiao and HAO Wei-Zhong2010,21(2):287-304 [Abstract(8467)] [View PDF(9294)2.60 M]Construction and Certification of a Bytecode Virtual MachineDONG Yuan,REN Kai,WANG Sheng-Yuan and ZHANG Su-Qin2010,21(2):305-317 [Abstract(8179)] [View PDF(8587)945.12 K]Construction Techniques of Anticipatory Monitors for Parameterized LTLZHAO Chang-Zhi,DONG Wei,SUI Ping and QI Zhi-Chang2010,21(2):318-333 [Abstract(8194)] [View PDF(7328)1.06 M]Pointer Logic Dealing with Uncertain Equality of PointersLIANG Hong-Jin,ZHANG Yu,CHEN Yi-Yun,LI Zhao-Peng and HUA Bao-Jian2010,21(2):334-343 [Abstract(10501)] [View PDF(6857)701.30 K]Model and Quantification of Autonomic Dependability of Mission-Critical SystemsWANG Hui-Qiang,Lü Hong-Wu,ZHAO Qian,DONG Xi-Kun and FENG Guang-Sheng2010,21(2):344-358 [Abstract(8372)] [View PDF(8056)1.01 M]Framework Supporting Software Assets Evaluation on TrustworthinessCAI Si-Bo,ZOU Yan-Zhen,SHAO Ling-Shuang,XIE Bing and SHAO Wei-Zhong2010,21(2):359-372 [Abstract(9096)] [View PDF(8905)1.00 M]Runtime Software Trustworthiness Evidence Collection Mechanism Based on TPMGU Liang,GUO Yao,WANG Hua,ZOU Yan-Zhen,XIE Bing and SHAO Wei-Zhong2010,21(2):373-387 [Abstract(8601)] [View PDF(11539)1.10 M]Reputation-Based Recommender Discovery Approach for Service SelectionPAN Jing,XU Feng and Lü Jian2010,21(2):388-400 [Abstract(9066)] [View PDF(9333)1.18 M]