Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
The online trust discussion is focused on mechanisms for building and maintaining user trust. This paper introduces the relevance of providing for the repair of trust breakdowns. ...
Given location information on digital photographs, we can automatically generate an abundance of photo-related metadata using off-the-shelf and web-based data sources. These metad...
Mor Naaman, Yee Jiun Song, Andreas Paepcke, Hector...
Recommender systems provide decision aid and information filtering functions that have a great potential application in the mobile context. An aspect which has not been extensive...
This paper presents a scheme for extending an informal, pen-based whiteboard system (Tivoli on the Xerox LiveBoard) to provide a structured editing capability without violating it...
Thomas P. Moran, Patrick Chiu, William van Melle, ...