Sciweavers

512 search results - page 34 / 103
» Reasoning about Asynchronous Behaviour in Distributed System...
Sort
View
WOWMOM
2005
ACM
81views Multimedia» more  WOWMOM 2005»
15 years 3 months ago
Robust Distributed Systems Achieving Self-Management through Inference
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
Willem de Bruijn, Herbert Bos, Henri E. Bal
AAAI
2006
14 years 11 months ago
Distributed Interactive Learning in Multi-Agent Systems
Both explanation-based and inductive learning techniques have proven successful in a variety of distributed domains. However, learning in multi-agent systems does not necessarily ...
Jian Huang, Adrian R. Pearce
JAIR
1998
195views more  JAIR 1998»
14 years 9 months ago
AntNet: Distributed Stigmergetic Control for Communications Networks
This paper introduces AntNet, a novel approach to the adaptive learning of routing tables in communications networks. AntNet is a distributed, mobile agents based Monte Carlo syst...
Gianni Di Caro, Marco Dorigo
EMSOFT
2007
Springer
15 years 1 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
SOSP
2005
ACM
15 years 6 months ago
BAR fault tolerance for cooperative services
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement,...