Sciweavers

259 search results - page 43 / 52
» Coalitional skill games
Sort
View
SCP
2010
172views more  SCP 2010»
13 years 7 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
CLIMA
2011
12 years 8 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
CHI
2008
ACM
14 years 9 months ago
Playful toothbrush: ubicomp technology for teaching tooth brushing to kindergarten children
This case study in UbiComp technology and design presents a "Playful Toothbrush" system for assisting parents and teachers to motivate kindergarten children to learn pro...
Yu-Chen Chang, Jin-Ling Lo, Chao-Ju Huang, Nan-Yi ...
TEDU
2008
126views Education» more  TEDU 2008»
13 years 8 months ago
Designing an Educational Game: Case Study of 'Europe 2045'
This paper presents a theoretical framework, which has been adopted in designing an on-line multi-player strategy game Europe 2045. Europe 2045 is an educational tool for high scho...
Vít Sisler, Cyril Brom
CSCW
2004
ACM
14 years 2 months ago
In-group/out-group effects in distributed teams: an experimental simulation
Modern workplaces often bring together virtual teams where some members are collocated, and some participate remotely. We are using a simulation game to study collaborations of 10...
Nathan Bos, N. Sadat Shami, Judith S. Olson, Arik ...