We describe an image retrieval system we built based on a Zoomable User Interface (ZUI). We also discuss the design, results and analysis of a controlled experiment we performed o...
Dynamic spectrum leasing (DSL) is one of the schemes proposed for dynamic spectrum sharing (DSS) in cognitive radio networks. In DSL, spectrum owners, denoted as primary users, dyn...
Gonzalo Vazquez-Vilar, Carlos Mosquera, Sudharman ...
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Understanding collaborative work practices represents a critical factor in and a necessary fundament for the development of effective Computer Supported Collaborative Work (CSCW) ...
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
Wolfgang Aigner, Alessio Bertone, Silvia Miksch, C...