Visualization has become a critical component of simulation technology. Today we can't imagine doing a simulation without some kind of visualization to help communicate resul...
: Support for work practice is better conceptualised as support for activity taking place in a multidimensional space than as prescription of temporal task sequences. The notion of...
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
Recently we have begun to build the basic tools for a generic speech-dialog system. The main modules, their function and internal communication have been specified. The different ...
Multi-site development organizations require coordination and communication efforts between different sites to ensure successful distributed development. These efforts need to be ...