Metric access methods (MAMs), such as the M-tree, are powerful index structures for supporting ty queries on metric spaces, which represent a common abstraction for those searchin...
This paper addresses the problem of reliably multicasting Web resources across wireless local area networks (WLANs) in support of collaborative computing applications. An adaptive ...
The application of the collaborative networks paradigm, and a new generation of collaboration-support platforms and tools, is a promising approach to supporting active ageing, and ...
Searching and exploring on digital maps are normally performed through simple text boxes and zoomand-pan interfaces. In this paper, however, we present a novel technique, namely T...
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...