Abstract. In this paper, we define a model-driven design trajectory for contextaware services consisting of three levels of models with different degrees of ion and platform indepe...
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
The Windows Vista personal firewall provides its diverse users with a basic interface that hides many operational details. However, concealing the impact of network context on th...
Information foraging and sensemaking with heterogeneous information are context-dependent activities. Thus visual analytics tools to support these activities must incorporate cont...
It’s been noticed that recognizing the end user’s needs and expectations are increasingly important factors for creating successful products. In the Mode-project we are studyi...