881 search results - page 10 / 177 » A Model of Tolerance |
134
click to vote
HASE
2007
IEEE
16 years 6 days ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
127
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a component model for building distributed applications with fault-tolerance requirements. The AFT-CCM model selects the configuration of replicated services d...
193
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
167
click to vote
EUROMICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
191
click to vote
MMNS
2000
15 years 7 months ago
2000
: ATM virtual path has recently been paying attention to the effective deployment of IP over ATM. The effective IP service provisioning depends fully on the reliability and optimal...