230 search results - page 11 / 46 » UPPAAL-Tiga: Time for Playing Games! |
TACAS
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
ACMACE
2009
ACM
14 years 1 months ago
2009
ACM
Pervasive and location-based games are played in the real world rather than on the screen of a computer or mobile device. This makes them difficult to study. Since players move ar...
AUIC
2005
IEEE
14 years 1 months ago
2005
IEEE
The latest hardware available for creating playable augmented reality games is too expensive to be used in consumer-level products at the current time. Low-end hardware exists tha...
LICS
2002
IEEE
14 years 9 days ago
2002
IEEE
We study the comparison of dynamic semantics (games, dealing with interactions) with static semantics (dealing with results of interactions), in the spirit of Timeless Games [2]. ...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
A longitudinal design was employed to collect three waves of survey data over a 14 month period from 2790 online gamers. Respondents were asked questions about their gaming activi...