2523 search results - page 384 / 505 » Correct Development of Embedded Systems |
DSN
2008
IEEE
14 years 3 months ago
2008
IEEE
The long-term availability of data stored in a file system depends on how well it safeguards on-disk pointers used to access the data. Ideally, a system would correct all pointer...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
DSVIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
HPDC
1998
IEEE
14 years 1 months ago
1998
IEEE
The potential for faults in distributed computing systems is a significant complicating factor for application developers. While a variety of techniques exist for detecting and co...
AGENTS
1997
Springer
14 years 1 months ago
1997
Springer
Downsizing the number of operators controlling complex systems can increase the decision-making demands on remaining operators, particularly in crisis situations. An answer to thi...