4447 search results - page 48 / 890 » Model Checking Games |
121
click to vote
STOC
2004
ACM
16 years 3 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...
116
click to vote
NETGAMES
2005
ACM
15 years 9 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...
117
click to vote
GI
2004
Springer
15 years 8 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...
119
click to vote
BIRTHDAY
2007
Springer
15 years 9 months 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...
124
click to vote
COMPSAC
2003
IEEE
15 years 8 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...