63 search results - page 3 / 13 » Exception Handling in the Choices Operating System |
ENTCS
2007
13 years 5 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
ICMAS
2000
2000
An Experimental Evaluation of Domain-Independent Fault Handling Services in Open Multi-Agent Systems
13 years 6 months ago
A critical challenge to creating effective open multi-agent systems is allowing them to operate effectively in the face of potential failures. In this paper we present an experimen...
USENIX
2007
13 years 7 months ago
2007
Operating system lockup errors can render a computer unusable by preventing the execution other programs. Watchdog timers can be used to recover from a lockup by resetting the pro...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
DATE
2002
IEEE
13 years 10 months ago
2002
IEEE
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...