The future customer service provided by call centres will be changed due to new web-based interactive multimedia technologies. Technical support will be offered in a completely new...
Oliver Schreer, Ralf Tanger, Peter Eisert, Peter K...
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...
A novel control mechanism was recently introduced based on Extended Markov Tracking (EMT) [9, 10]. In this paper, we present a study of its response to multiple interacting contro...
In designing physical objects, tangible models play an important part. Recent advances in augmented reality displays show new directions to support this field of prototyping. This...
Jouke C. Verlinden, A. de Smit, Aernout W. J. Peet...
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...