Sciweavers

4600 search results - page 532 / 920
» Presenting the cyclotactor project
Sort
View
CALCO
2009
Springer
139views Mathematics» more  CALCO 2009»
16 years 1 months ago
Traces, Executions and Schedulers, Coalgebraically
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...
Bart Jacobs, Ana Sokolova
EDUTAINMENT
2009
Springer
16 years 1 months ago
Towards Intelligent Computer Assisted Educational Role-Play
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...
AINA
2008
IEEE
16 years 1 months ago
Dynamic Web Services on a Home Service Platform
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...
André Bottaro, Eric Simon, Stéphane ...
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
16 years 1 months ago
Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures
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...
ISCAS
2008
IEEE
167views Hardware» more  ISCAS 2008»
16 years 1 months ago
An ultra-low-power micro-optoelectromechanical tilt sensor
—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...