14 search results - page 3 / 3 » Symbolic Computation of Maximal Probabilistic Reachability |
COCOON
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
COOPIS
2003
IEEE
13 years 10 months ago
2003
IEEE
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...
EUROPAR
2006
Springer
13 years 8 months ago
2006
Springer
In Mobile Ad Hoc Networks (MANETs), broadcasting is widely used to support many applications. Several adaptive broadcast schemes have been proposed to reduce the number of rebroadc...
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...