We discuss work carried out at the University of Salford (UK) and INESC-id (Portugal) on the design and implementation of interactive dramas in 3D graphics environments. We presen...
In this paper we describe an exploratory study on the use of a structured interviewing evaluation technique with 6 to 8 year old children. The study examines whether children are ...
Arnold P. O. S. Vermeeren, Mathilde M. Bekker, Ils...
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...