Sciweavers

303 search results - page 25 / 61
» Interfaces as Games, Programs as Strategies
Sort
View
JOT
2008
114views more  JOT 2008»
13 years 8 months ago
By students, for students: a production-quality multimedia library and its application to game-based teaching
The attractive idea of using game development for teaching programming can only meet student expectations and modern software engineering requirements if it uses advanced multimed...
Till G. Bay, Michela Pedroni, Bertrand Meyer
TON
2012
11 years 11 months ago
A Game-Theoretic Approach to Anonymous Networking
—Anonymous wireless networking is studied when an adversary monitors the transmission timing of an unknown subset of the network nodes. For a desired quality of service (QoS), as...
Parvathinathan Venkitasubramaniam, Lang Tong
COMCOM
2008
120views more  COMCOM 2008»
13 years 8 months ago
Game theoretic models for detecting network intrusions
In this paper, we study using game theory the problem of detecting intrusions in wired infrastructure networks. Detection is accomplished by sampling a subset of the transmitted p...
Hadi Otrok, Mona Mehrandish, Chadi Assi, Mourad De...
FM
2006
Springer
148views Formal Methods» more  FM 2006»
14 years 10 days ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
DIMEA
2007
99views Multimedia» more  DIMEA 2007»
14 years 18 days ago
Player adaptive entertainment computing
The concept of Player Adaptive Entertainment Computing (PAEC) is introduced to provide personalized experiences when interacting with the entertainment media. Two of the important ...
Kevin Kok Wai Wong