A theory of traces of computations has emerged within the field of coalgebra, via finality in Kleisli categories. In concurrency theory, traces are traditionally obtained from ex...
This paper investigates how graphically displayed intelligent virtual actors, mobile devices and innovative interaction modalities can support and enhance educational role-play as ...
Mei Yii Lim, Ruth Aylett, Sibylle Enz, Michael Kri...
The Home Network is a pervasive environment by nature. Its openness to dynamic distributed and heterogeneous devices brings great challenges in home application design. We present...
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
Nicolas Coste, Hubert Garavel, Holger Hermanns, Ri...
—This paper presents a novel hybrid CMOS/MEMS tilt sensor with a 5o resolution over a 330o range. The device uses a MEMS-based semicircular mass suspended from a rigid body, proj...
Timothy G. Constandinou, Julius Georgiou, Charalam...