Abstract: Multikern-Prozessoren stellen die Softwaretechnik vor die Herausforderung, leistungshungrige Anwendungen aller Art zu parallelisieren. Bereits heute bieten handels
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
This paper focuses on the aesthetic aspect of distributing multimedia data in cyberspace. By dynamically modifying the contents of a virtual art exhibition, we aim to generate a v...
Increase of future appliances at home environment causes confusion with less computer-skilled users. Consequently, embedded-hardware could prevent us from recognizing all of them ...
: Industrial countries are faced with a growing elderly population. Homecare systems with assistive smart house technology enable elderly to live independently at home. Development...