1624 search results - page 245 / 325 » Fairness in multi-agent systems |
157
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
158
click to vote
NSDI
2008
15 years 8 months ago
2008
The paper presents and evaluates Nysiad,1 a system that implements a new technique for transforming a scalable distributed system or network protocol tolerant only of crash failur...
157
click to vote
BCSHCI
2008
15 years 7 months ago
2008
We present the design of a system for Aphasics that assist them in storytelling. Storytelling, in the sense of being able to relate recent and past experiences to relevant others,...
126
click to vote
FMSD
2006
15 years 6 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
152
click to vote
AIL
2000
15 years 6 months ago
2000
Computational dialectics is a relatively new field. It is, among others, concerned with the formal representation of argument and dispute. The goal is to suggest algorithms, proce...