This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
Abstract. This paper presents the design, implementation and experimental analysis of a distributed, real-time MPEG video and audio player. The player is designed for use across th...
Shanwei Cen, Calton Pu, Richard Staehli, Crispin C...
We investigated the usefulness transparency can play in increasing the display space of mobile devices in navigation scenarios. Two different systems that used transparency to dis...
David K. McGookin, Inti Herteleer, Stephen A. Brew...
Task scheduling is an integrated component of computing. With the emergence of grid and ubiquitous computing, newer challenges have arisen in task scheduling. Unlike traditional p...
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...