– Retargetability of embedded system descriptions not only enables better exploration of the design space and evaluation of cost/performance tradeoffs but also enhances design ma...
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Abstract. Reliable measures of person positions are needed for computational perception of human activities taking place in a smart-room environment. In this work, we present the P...
Alberto Abad, Cristian Canton-Ferrer, Carlos Segur...
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
Jinfeng Huang, Jeroen Voeten, Piet van der Putten,...
An increasing number of applications have been developed for supporting network communities. The authors have developed Community Organizer, which supports people in forming new ne...
Sen Yoshida, Koji Kamei, Takeshi Ohguro, Kazuhiro ...