A common problem facing mobile computing is disconnected operation, or computing in the absence of a network. Hoarding eases disconnected operation by selecting a subset of the us...
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Data access applications in Mobile Ad Hoc Networks (MANETs) suffer from intermittent network connections and restricted power supplies. While most of the researches focus on Media...
We present the design and formative evaluation of Sun Dial, an application that supports Muslims' prayer practices. We report on a study that involved identifying prayer as a...
Susan Wyche, Kelly E. Caine, Benjamin K. Davison, ...
This paper describes the Patient Record Manager and the Workflow toolset of the wirelessbased e-health system Ward-In-Hand, developed inside an IST European project and currently ...
Christodulos Pappas, Eva Coscia, Gabriella Dodero,...