To achieve accurate registration, the transformations which locate the tracking system components with respect to the environment must be known. These transformations relate the b...
Yohan Baillot, Simon Julier, Dennis Brown, Mark A....
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
We propose a system that overlays textures onto the arbitrary deformable surface of an object in real time using HMD. In this system, we select a book as the object and documents ...
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
During the last 25 years the complexity and functionality of software systems has increased dramatically. Software systems have to be updated and restructured continuously [22]. I...