230 search results - page 15 / 46 » UPPAAL-Tiga: Time for Playing Games! |
GI
2010
Springer
13 years 6 months ago
2010
Springer
Despite the ubiquity of barcodes there is no common product repository available today linking product master data to the corresponding barcodes. This paper proposes a social netwo...
FUN
2010
Springer
13 years 5 months ago
2010
Springer
The bank director was pretty upset noticing Joe, the system administrator, spending his spare time playing Mastermind, an old useless game of the 70ies. He had fought the instinct ...
CHI
2010
ACM
14 years 1 months ago
2010
ACM
Contemporary lifestyle has become increasingly sedentary: little physical (sports, exercises) and much sedentary (TV, computers) activity. The nature of sedentary activity is self...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Problems and Programmers is an educational card game that we have developed to help teach software engineering. It is based on the observation that students, in a typical software...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
—We address a discrete-time, pursuit-evasion game with alternate moves played between two kinds of players: the pursuer and the evader. The pursuer wishes to capture the evader w...