The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
Location information can be used to enhance interaction with mobile devices. While many location systems require instrumentation of the environment, we present a system that allow...
Gerd Kortuem, Christian Kray, Hans-Werner Gellerse...
Grid Portals, based on standard web technologies, are emerging as important and useful user interfaces to computational and data Grids. Grid Portals enable Virtual Organizations, c...
Michael Russell, Gabrielle Allen, Greg Daues, Ian ...
This paper discusses how model-based approaches can support designers and developers to address a number of challenges raised by universal usability, such as the possibility of ob...
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...