682 search results - page 41 / 137 » Game Development Using Design-by-Contract |
ACMSE
2009
ACM
14 years 1 months ago
2009
ACM
The goal of the One Laptop Per Child program is “to provide children around the world with new opportunities to explore, experiment, and express themselves.” To stay true to t...
IAT
2009
IEEE
13 years 7 months ago
2009
IEEE
Patrolling environments by means of autonomous mobile robots has received an increasing attention in the last few years. The interest of the agent community is mainly in the develo...
JURIX
2007
13 years 11 months ago
2007
The outcome of a legal dispute, namely, the decision of its adjudicator, is uncertain, and both parties develop their strategies on the basis of their appreciation of the probabili...
IPL
2006
13 years 10 months ago
2006
We present a Coq-formalised proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCFstyle theorem p...
WSC
2004
13 years 11 months ago
2004
The need for contextually rich educational experiences in construction education has led researchers to explore alternatives using gaming and simulation environments. The work don...