Sciweavers

492 search results - page 7 / 99
» Reliability and Fault Tolerance in Trust
Sort
View
CBSQ
2003
Springer
14 years 3 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
AMCS
2007
71views Mathematics» more  AMCS 2007»
13 years 10 months ago
Reliability Modeling of Fault Tolerant Control Systems
Hongbin Li, Qing Zhao, Zhenyu Yang
COOPIS
2002
IEEE
14 years 2 months ago
Reconciling Replication and Transactions for the End-to-End Reliability of CORBA Applications
Abstract. The CORBA standard now incorporates support for reliability through two distinct mechanisms — replication (using the Fault Tolerant CORBA standard) and transactions (us...
Pascal Felber, Priya Narasimhan
ISSRE
2005
IEEE
14 years 3 months ago
An Experimental Evaluation on Reliability Features of N-Version Programming
Although N-version programming has been employed in some mission-critical applications, the reliability and fault correlation issues remain a debatable topic in the research commu...
Xia Cai, Michael R. Lyu, Mladen A. Vouk