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 ...
Abstract — A datapath synthesis system (DPSS) for the reconfigurable datapath architecture (rDPA) is presented. The DPSS allows automatic mapping of high level descriptions onto...