230 search results - page 11 / 46 » UPPAAL-Tiga: Time for Playing Games! |
TACAS
2004
Springer
15 years 3 months 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...
66
Voted
ACMACE
2009
ACM
15 years 4 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
15 years 3 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...
76
Voted
LICS
2002
IEEE
15 years 2 months 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
15 years 10 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...