406 search results - page 1 / 82 » Games with Opacity Condition |
RP
2009
Springer
13 years 11 months ago
2009
Springer
We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachab...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
ā Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciļ¬...
HRI
2011
ACM
12 years 8 months ago
2011
ACM
In this paper, we present a real world user study of 4 interfaces designed to teach new visual objects to a social robot. This study was designed as a robotic game in order to mai...
JOLLI
2006
13 years 4 months ago
2006
Agents often interact strategically to meet conditions involving their own or other agents' knowledge. This interaction can be modeled using a new method of game construction...
SPAA
2010
ACM
13 years 9 months ago
2010
ACM
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal deļ¬nitions of the semantics of...