322 search results - page 40 / 65 » Active Context-Free Games |
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
This paper addresses players’ uses of supplemental items during gameplay, how they define what is and is not “cheating” in reference to these items, and then, what actions t...
ROBOCUP
1999
Springer
14 years 28 days ago
1999
Springer
Abstract. To make a robot team perform a soccer game, various technologies must be developed. To date, we constructed a multi-sensor based mobile robot for robotic soccer research....
ICALT
2009
IEEE
14 years 16 days ago
2009
IEEE
Although Virtual Learning Environments have become popular educational tools, they remain a very active research topic. Two important aspects being discussed for next-generation V...
ECTEL
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. The generalization of game-based Learning Objects as serious learning material requires their integration into pre-existing e-learning infrastructure (systems and courses...