Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
Abstract. Designing a simple but powerful low-level communication library for Java HPC environments is an important task. We introduce new low-level communication library for Java ...
Sang Boem Lim, Bryan Carpenter, Geoffrey Fox, Han-...
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
Wamberto Weber Vasconcelos, Carles Sierra, Marc Es...
Abstract. We present the AudioIndex prototype, a light-weight mobile RFIDbased point-and-listen interface that allows visually impaired to browse and search for audio books within ...
Daniel Fallman, Kent Lindbergh, Oskar Fjellstrom, ...
The web's hyperlinks are notoriously brittle, and break whenever a resource migrates. One solution to this problem is a transparent resource migration mechanism, which separa...