1187 search results - page 61 / 238 » On Modeling Cross-Talk Faults |
WORDS
2003
IEEE
14 years 2 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...
FORMATS
2004
Springer
14 years 13 days 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...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
EUROMICRO
1997
IEEE
14 years 28 days 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...