1000-9825
2010 Issue 2
Preface of the Special Issue on the Construction and Evolution Analysis of Trusted Software
wang huai min ; xu jie
wang huai min ; xu jie
..............page:177-178
Failure Diagnosis of Internetware Systems Using Dynamic Description Logic
wang zhu xiao ; yang zuo ; shi zhong zhi
wang zhu xiao ; yang zuo ; shi zhong zhi
..............page:248-260
Approach to Transforming UML Model to Reliability Analysis Model
liu yi ; ma zhi yi ; he xiao ; shao wei zhong
liu yi ; ma zhi yi ; he xiao ; shao wei zhong
..............page:287-304
High-Trusted-Software-Oriented Automatic Testing for Integer Overflow Bugs
lu xi cheng ; li gen ; lu kai ; zhang ying
lu xi cheng ; li gen ; lu kai ; zhang ying
..............page:179-193
Construction and Certification of a Bytecode Virtual Machine
dong yuan ; ren zuo ; wang sheng yuan ; zhang su qin
dong yuan ; ren zuo ; wang sheng yuan ; zhang su qin
..............page:305-317
Path Sensitive Static Defect Detecting Method
xiao qing ; gong yun zhan ; yang chao hong ; jin da hai ; wang ya wen
xiao qing ; gong yun zhan ; yang chao hong ; jin da hai ; wang ya wen
..............page:209-217
Scalable Time-Based Multi-Cycle Checkpointing
ci zuo wei ; zhang zhan ; zuo de cheng ; wu zhi bo ; yang xiao zong
ci zuo wei ; zhang zhan ; zuo de cheng ; wu zhi bo ; yang xiao zong
..............page:218-230
Resource-Aware Performance Diagnostic Method for Web Applications
wang wei ; zhang wen bo ; wei jun ; zhong hua ; huang tao
wang wei ; zhang wen bo ; wei jun ; zhong hua ; huang tao
..............page:194-208
Service-Oriented Reliable Multimedia Delivery Algorithm
zhang sheng ; qian zhu zhong ; lu sang zuo
zhang sheng ; qian zhu zhong ; lu sang zuo
..............page:277-286
Dynamic Evolution Mechanism for Trustworthy Software Based on Service Composition
zeng jin ; sun hai long ; liu xu dong ; deng zuo ; huai jin peng
zeng jin ; sun hai long ; liu xu dong ; deng zuo ; huai jin peng
..............page:261-276
..............page:封3
Construction Techniques of Anticipatory Monitors for Parameterized LTL
zhao chang zhi ; dong wei ; sui ping ; qi zhi chang
zhao chang zhi ; dong wei ; sui ping ; qi zhi chang
..............page:318-333
Pointer Logic Dealing with Uncertain Equality of Pointers
liang hong zuo ; zhang zuo ; chen yi yun ; li zhao peng ; hua bao jian
liang hong zuo ; zhang zuo ; chen yi yun ; li zhao peng ; hua bao jian
..............page:334-343
Model and Quantification of Autonomic Dependability of Mission-Critical Systems
wang hui qiang ; lv hong wu ; zhao zuo ; dong zuo kun ; feng guang sheng
wang hui qiang ; lv hong wu ; zhao zuo ; dong zuo kun ; feng guang sheng
..............page:344-358
Fault Diagnosis and Handling for Service Composition Based on Petri Nets
fan gui sheng ; yu hui qun ; chen li qiong ; liu dong mei
fan gui sheng ; yu hui qun ; chen li qiong ; liu dong mei
..............page:231-247
Framework Supporting Software Assets Evaluation on Trustworthiness
cai si bo ; zou yan zhen ; shao ling shuang ; xie bing ; shao wei zhong
cai si bo ; zou yan zhen ; shao ling shuang ; xie bing ; shao wei zhong
..............page:359-372
Reputation-Based Recommender Discovery Approach for Service Selection
pan jing ; xu feng ; lv jian
pan jing ; xu feng ; lv jian
..............page:388-400