Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
We present a model to support the design, analysis, and comparison of games through the use of game design patterns, descriptions of reoccurring interaction relevant to game play....
The reliability of a large-scale storage system is influenced by a complex set of inter-dependent factors. This paper presents a comprehensive and extensible analytical framework ...
This paper focuses on the production of authoring tools that teachers may use to prototype interactive geographical web applications. We present some computational models and a too...
The Nhan Luong, Thierry Nodenot, Philippe Lopist&e...
Abstract. Web applications represent an important category of applications that owe much of their popularity to the ubiquitous accessibility using standard web browsers. The comple...