Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Physical buttons have the unique ability to provide lowattention and vision-free interactions through their intuitive tactile clues. Unfortunately, the physicality of these interf...
In this paper we describe Graaasp, a social software currently under development to support the creation of a real usage database of social artifacts. Our goals are twofold: First...
Evgeny Bogdanov, Sandy El Helou, Denis Gillet, Chr...
The OpenChoice system, currently in development, is an open source, open access community rating and filtering service that would improve upon the utility of currently available W...
Although coupling interaction resources is key to ubiquitous computing, this notion has been overlooked in previous studies. In this paper, we address this notion in a more system...