682 search results - page 46 / 137 » Game Development Using Design-by-Contract |
SEFM
2007
IEEE
14 years 4 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
ACMACE
2004
ACM
14 years 3 months ago
2004
ACM
Currently there is much interest in the development of computer and DVD-based games and activities that supplement or are marketed alongside broadcast television content. Scene-Dr...
TASE
2008
IEEE
13 years 9 months ago
2008
IEEE
In this paper, we focus on mechanism design for single leader Stackelberg problems, which are a special case of hierarchical decision making problems in which a distinguished agent...
VL
2006
IEEE
14 years 3 months ago
2006
IEEE
Now that we have end-user programming environments capable of empowering kids with no programming background to build games in a matter of hours, a new quest for raising the ceili...
AAAI
2008
14 years 7 days ago
2008
Traditional artificial intelligence techniques do not perform well in applications such as real-time strategy games because of the extensive search spaces which need to be explore...