4447 search results - page 262 / 890 » Model Checking Games |
136
click to vote
IWEC
2008
15 years 6 months ago
2008
This paper describes our research on integrating emotion aspects into characters of video games. Motivation for this is the significant absence of emotive expression in most charac...
146
click to vote
ESORICS
2008
Springer
15 years 6 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
139
click to vote
CAV
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
132
click to vote
JNW
2006
15 years 4 months ago
2006
This paper presents a new approach to integrated security and dependability evaluation, which is based on stochastic modeling techniques. Our proposal aims to provide operational m...
136
click to vote
IE
2007
15 years 6 months ago
2007
In this paper we introduce a mathematical model of conflict that enhances Richardson’s model of Arms Race accounting for interactive scenarios, such as the ones provided by CRP...