∗∗∗∗ In 2002, the video coding community faced the emergence of a new video coding paradigm, the so-called Wyner-Ziv video coding, which was represented by two early soluti...
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
In this paper we suggest the ceiling as a new physical surface for information visualization. To provide a design framework for application designers, we present the notion of ‘...
Martin Tomitsch, Thomas Grechenig, Andrew Vande Mo...
— Due to the technological evolution, context-aware computing is slowly moving from dream to reality. These applications heavily rely in sensing the user’s environment and ing ...
Gaining an understanding of software systems is an important discipline in many software engineering contexts. It is essential that software engineers are assisted as much as poss...