We present a six degrees of freedom tracking system, which is wireless and scalable concerning the tracking volume and the number of devices being tracked. This is achieved by the...
Technological progress in integrated, low-power, CMOS communication devices and sensors makes a rich design space of networked sensors viable. They can be deeply embedded in the p...
Jason L. Hill, Robert Szewczyk, Alec Woo, Seth Hol...
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...
This paper presents the conception, the design and a prototype of a virtual reality system for learning and maintenance training of Hydroelectric Generating Unit (HGU). The system...
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. C...