682 search results - page 13 / 137 » Game Development Using Design-by-Contract |
CATE
2004
14 years 11 months ago
2004
Emerging technologies, such as intelligent agents, avatars, and distributed environments offer new opportunities for the improvement of business games used for training decision m...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
In many complex multi-agent domains it is impractical to compute exact analytic solutions. An alternate means of analysis applies computational tools to derive and analyze empiric...
87
Voted
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
CSEE
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes an application of a Game Development Framework (GDF) Microsoft XNA in software architecture (SA) course at Norwegian University of Science and Technology (NTN...
CORR
2000
Springer
14 years 9 months ago
2000
Springer
We study the dynamics of the so-called Game of Cards by using tools developed in the context of discrete dynamical systems. We extend a result of [4] and [10] (the last one in the ...