3387 search results - page 527 / 678 » Model-Checking for Real-Time Systems |
MDM
2005
Springer
14 years 3 months ago
2005
Springer
Sensor networks are promising unprecedented levels of access to information about the physical world, in real time. Many areas of human activity are starting to see the benefits ...
MIRRORBOT
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...
MM
2004
ACM
14 years 3 months ago
2004
ACM
— We have created a system called the Escritoire that uses two overlapping projectors to create a projected display for a personal computer. A large low-resolution region fills ...
ADAEUROPE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
NIME
2004
Springer
14 years 3 months ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...