Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Web-based tourism information systems are more and more required to provide besides traditional tourism information about hotel facilities and infrastructure also cultural content...
Franca Garzotto, Paolo Paolini, Marco Speroni, Bir...
We propose a new data dissemination protocol for wireless sensor networks, that basically pulls some additional knowledge about the network in order to subsequently improve data fo...
Ioannis Chatzigiannakis, Athanasios Kinalis, Sotir...
Testing is an important process that is performed to support quality assurance. Testing activities support quality assurance by gathering information about the nature of the softw...
Always-on media spaces broadcast video between collaborators to provide mutual awareness and to encourage casual interaction. This video can be easily recorded on the fly as a vide...
Michael Nunes, Saul Greenberg, M. Sheelagh T. Carp...