230 search results - page 34 / 46 » UPPAAL-Tiga: Time for Playing Games! |
COLCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— While multicast has been studied extensively in many domains such as content streaming and file sharing, there is little research applying it to synchronous collaborations invo...
103
click to vote
CORR
2004
Springer
14 years 9 months ago
2004
Springer
: The Game of Life cellular automaton is a classical example of a massively parallel collision-based computing device. The automaton exhibits mobile patterns, gliders, and generato...
UAI
2008
14 years 11 months ago
2008
We consider how an agent should update her uncertainty when it is represented by a set P of probability distributions and the agent observes that a random variable X takes on valu...
HIPC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper formulates the job allocation problem in distributed systems with bandwidth-constrained nodes. The bandwidth limitations of the nodes play an important role in...
105
Voted
EMSOFT
2003
Springer
15 years 2 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...