Sciweavers

157 search results - page 22 / 32
» The London Travel Demonstrator
Sort
View
AGENTS
2001
Springer
14 years 14 days ago
An auction-based method for decentralized train scheduling
We present a computational study of an auction-based method for decentralized train scheduling. The method is well suited to the natural information and control structure of moder...
David C. Parkes, Lyle H. Ungar
ER
1999
Springer
108views Database» more  ER 1999»
14 years 7 days ago
Modeling Cyclic Change
Database support of time-varying phenomena typically assumes that entities change in a linear fashion. Many phenomena, however, change cyclically over time. Examples include monsoo...
Kathleen Hornsby, Max J. Egenhofer, Patrick J. Hay...
WADT
1998
Springer
14 years 5 days ago
Hierarchical Heterogeneous Specifications
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...
Sophie Coudert, Gilles Bernot, Pascale Le Gall
ANCS
2007
ACM
13 years 12 months ago
Congestion management for non-blocking clos networks
We propose a distributed congestion management scheme for non-blocking, 3-stage Clos networks, comprising plain buffered crossbar switches. VOQ requests are routed using multipath...
Nikolaos Chrysos
AIMSA
2006
Springer
13 years 11 months ago
Property Based Coordination
For a multiagent system (MAS), coordination is the assumption that agents are able to adapt their behavior according to those of the other agents. The principle of Property Based C...
Mahdi Zargayouna, Julien Saunier, Flavien Balbo