Sciweavers

13866 search results - page 207 / 2774
» Dynamical Systems Game
Sort
View
137
Voted
VL
2007
IEEE
107views Visual Languages» more  VL 2007»
15 years 10 months ago
Mobile games to foster the learning of history at archaeological sites
This paper presents a system designed to support young students learning history at an archaeological site, by exploiting mobile technology. The approach uses game-play, since it ...
Carmelo Ardito, Paolo Buono, Maria Francesca Costa...
CAV
2008
Springer
80views Hardware» more  CAV 2008»
15 years 6 months ago
Ranking Automata and Games for Prioritized Requirements
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
Rajeev Alur, Aditya Kanade, Gera Weiss
104
Voted
LISA
2004
15 years 5 months ago
Making a Game of Network Security
This paper describes our experiences in the design and implementation of a network for security training exercises, and one such exercise. The network described herein is flexible...
Marc Dougherty
135
Voted
ISCI
2000
98views more  ISCI 2000»
15 years 4 months ago
Quantum decision-maker
A quantum device simulating human decision making process is introduced. It consists of quantum recurrent nets generating stochastic processes which represent the motor dynamics, ...
Michail Zak
143
Voted
CSFW
2010
IEEE
15 years 7 months ago
A Game-Based Definition of Coercion-Resistance and Its Applications
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,...
Ralf Küsters, Tomasz Truderung, Andreas Vogt