4447 search results - page 48 / 890 » Model Checking Games |
166
click to vote
STOC
2004
ACM
16 years 6 months ago
2004
ACM
The growth in computer games and wireless networks has catalyzed the production of a new generation of hand-held game consoles that support multi-player gaming over IEEE 802.11 ne...
154
click to vote
NETGAMES
2005
ACM
15 years 11 months ago
2005
ACM
The growth in computer games and wireless networks has catalyzed the production of a new generation of hand-held game consoles that support multi-player gaming over IEEE 802.11 ne...
152
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
: The concept of Massively Multiplayer Games (MMG) recently has spread into all classical genres of real-time computer games. This paper summarizes our work on a novel proxy server...
149
click to vote
BIRTHDAY
2007
Springer
16 years 5 days ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
157
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...