This work presents the concepts and the tools involved in the interactive design of artistic screens. The screen elements are derived from a small set of analytical contours provid...
The increasing complexity of game development highlights the need of intellectual and industrial tools to enhance productivity in terms of quality, time and cost. In this paper we...
This paper describes the development of a traffic-modeling tool as an Arena template and two applications of it: one to evaluate alternative designs for the road network on the pr...
Marco C. van Burgsteden, Paul E. Joustra, Michiel ...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Multimedia applications are often characterized by a large number of data accesses with regular and periodic access patterns. In these cases, optimized pipelined memory access con...
Bertrand Le Gal, Emmanuel Casseau, Sylvain Huet, E...