1953 search results - page 81 / 391 » Normative system games |
USENIX
2007
13 years 11 months ago
2007
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
EUROPAR
2009
Springer
14 years 3 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
MFCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...