4447 search results - page 298 / 890 » Model Checking Games |
160
click to vote
NETGAMES
2005
ACM
15 years 10 months ago
2005
ACM
We study the ‘background traffic’ resulting from tens of thousands of networked first person shooter (FPS) clients searching for servers on which to play. Networked, multiplay...
126
click to vote
CONCUR
2010
Springer
15 years 6 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...
139
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
169
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
148
Voted
ROOM
2000
15 years 6 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...