703 search results - page 11 / 141 » An Adaptive Fault-Tolerant Component Model |
SAFECOMP
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
PRDC
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
HPCN
2000
Springer
15 years 1 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
DSVIS
2005
Springer
15 years 3 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...