4447 search results - page 286 / 890 » Model Checking Games |
119
click to vote
IH
2007
Springer
15 years 11 months ago
2007
Springer
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...
136
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper studies multicast application overlay networks in a repeated-game framework. In these overlays, users have both the motivation and the means to alter their position...
160
click to vote
IWEC
2010
15 years 3 months ago
2010
Abstract—We describe and analyze emergent behavior and its effect for a class of preypredators’ simulation models. The simulation uses rule-based agent behavior and follows a p...
158
click to vote
AIED
2011
Springer
14 years 8 months ago
2011
Springer
We have created a math learning environment with game-like elements such as narrative, visual feedback, personalization, collection, etc. We made a study with four different versio...
182
click to vote
SIGIR
2011
ACM
2011
ACM
Find it if you can: a game for modeling different types of web search success using interaction data
14 years 7 months ago
A better understanding of strategies and behavior of successful searchers is crucial for improving the experience of all searchers. However, research of search behavior has been s...