Sciweavers

3967 search results - page 82 / 794
» Distributed Games and Distributed Control for Asynchronous S...
Sort
View
MFCS
1994
Springer
15 years 9 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
122
Voted
COOPIS
2004
IEEE
15 years 8 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...
144
Voted
CCGRID
2007
IEEE
15 years 11 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...
149
Voted
CORR
2004
Springer
104views Education» more  CORR 2004»
15 years 4 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
IPPS
1998
IEEE
15 years 9 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