The increasing popularity of information services that rely on content delivery in mobile environments motivates the need for a mobile push service—an efficient and flexible c...
This paper presents the results of a study aimed at measuring the usefulness of presenting the results of an Information Retrieval search on WAP mobile phones. The experimentation...
Simon O. Sweeney, Fabio Crestani, Anastasios Tombr...
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
We present an analytical method to evaluate embedded network packet processor architectures, and to explore their design space. Our approach is in contrast to those based on simul...
Ubiquitous computing is a next generation information technology where computers and communications will be scaled further, merged together, and materialized in consumer applicati...