Sciweavers

1953 search results - page 125 / 391
» Normative system games
Sort
View
113
Voted
CSREAEEE
2006
138views Business» more  CSREAEEE 2006»
15 years 5 months ago
An English-Chinese Learning System Using J2ME and Java Servlets
Mobile phones offer a variety of interesting and exciting applications. A mobile phone can be a communication device, an entertainment device, and a learning device. J2ME is a pop...
Chin-Chih Chang, Swapna Sunkara
137
Voted
CORR
2004
Springer
104views Education» more  CORR 2004»
15 years 3 months ago
Near Rationality and Competitive Equilibria in Networked Systems
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
Nicolas Christin, Jens Grossklags, John Chuang
117
Voted
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
15 years 7 months ago
Scenario-based analysis and synthesis of real-time systems using uppaal
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
CONCUR
1997
Springer
15 years 7 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
ICMI
2009
Springer
106views Biometrics» more  ICMI 2009»
15 years 10 months ago
Towards adapting fantasy, curiosity and challenge in multimodal dialogue systems for preschoolers
We investigate how fantasy, curiosity and challenge contribute to the user experience in multimodal dialogue computer games for preschool children. For this purpose, an on-line mu...
Theofanis Kannetis, Alexandros Potamianos