2400 search results - page 246 / 480 » Systems Failures |
124
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
Layered architectures are a proven principle for the design of software systems and components. The paper introduces a layered reference architecture for software agents which assi...
108
click to vote
IASTEDSEA
2004
15 years 3 months ago
2004
Design by Contract is a design methodology that promotes software reliability and reusability by requiring each component module to have a well-specified interface and leaves a mo...
117
click to vote
FLAIRS
2000
15 years 3 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
119
click to vote
ACTA
2007
15 years 2 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
135
click to vote
PUC
2008
15 years 1 months ago
2008
of the hardware abstraction layer and of selected core middleware services. The latter enable a mobile device to store and retrieve data and position information in physical places...