User interfaces have evolved from punched cards, to text terminals, to windowing systems. As interface standards move into the third dimension, we have the opportunity to ensure t...
This paper focuses on the aesthetic aspect of distributing multimedia data in cyberspace. By dynamically modifying the contents of a virtual art exhibition, we aim to generate a v...
The Distributed Video Server (DVS) system provides a comprehensive solution for the management and distribution of a major future electronic commodity service, Video on Demand (VO...
This paper describes an implementation of Java's Remote Method Invocation RMI that is designed to run on top of the Globus high performance computing protocol. The primary con...
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...