Sciweavers

492 search results - page 7 / 99
» Reliability and Fault Tolerance in Trust
Sort
View
115
Voted
CBSQ
2003
Springer
15 years 2 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»
14 years 9 months ago
Reliability Modeling of Fault Tolerant Control Systems
Hongbin Li, Qing Zhao, Zhenyu Yang
COOPIS
2002
IEEE
15 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
15 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