4447 search results - page 426 / 890 » Model Checking Games |
205
click to vote
KI
2008
Springer
15 years 5 months ago
2008
Springer
The research aim of this paper is to represent everydaylife patterns of thought like "Because I know, what you think I think ..." by a process on a machine, which is inv...
202
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...
187
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
Coercion-resistance is one of the most important and intricate security requirements for voting protocols. Several definitions of coercion-resistance have posed in the literature,...
240
click to vote
GAMESEC
2010
15 years 4 months ago
2010
The combination of username and password is widely used as a human authentication mechanism on the Web. Despite this universal adoption and despite their long tradition, password s...
181
click to vote
CODES
2002
IEEE
15 years 12 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...