Sciweavers

3967 search results - page 82 / 794
» Distributed Games and Distributed Control for Asynchronous S...
Sort
View
162
Voted
MFCS
1994
Springer
15 years 6 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
97
Voted
COOPIS
2004
IEEE
15 years 6 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...
118
Voted
CCGRID
2007
IEEE
15 years 9 months ago
Requirements of Peer-to-Peer-based Massively Multiplayer Online Gaming
Massively Multiplayer Online Games have become increasingly popular. However, their operation is costly, as game servers must be maintained. To reduce these costs, we aim at provi...
Gregor Schiele, Richard Süselbeck, Arno Wacke...
128
Voted
CORR
2004
Springer
104views Education» more  CORR 2004»
15 years 2 months ago
Near Rationality and Competitive Equilibria in Networked Systems
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
Nicolas Christin, Jens Grossklags, John Chuang
103
Voted
IPPS
1998
IEEE
15 years 7 months ago
Predicate Control for Active Debugging of Distributed Programs
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach t...
Ashis Tarafdar, Vijay K. Garg