Designing mobile and wearable applications is a challenge. The context of use is more important than ever and traditional methodologies for elicitation and specification reach the...
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
The goal of this research is to elucidate the ways shared visual space supports group communication and performance. This work involves three stages: a series of empirical studies...
In this paper, we propose a novel method, FingerSense to enhance the expressiveness of physical buttons. In a FingerSense enabled input device, a pressing action is differentiated...
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...