Sciweavers

688 search results - page 110 / 138
» Active Mobile Robot Localization
Sort
View
94
Voted
SOSP
1997
ACM
15 years 3 months ago
Automated Hoarding for Mobile Computers
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...
Geoffrey H. Kuenning, Gerald J. Popek
121
Voted
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 7 months ago
Interacting State Machines for Mobility
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...
Thomas A. Kuhn, David von Oheimb
124
Voted
ICAS
2005
IEEE
111views Robotics» more  ICAS 2005»
15 years 8 months ago
COOP - A cooperative caching service in MANETs
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...
Yu Du, Sandeep K. S. Gupta
83
Voted
CHI
2008
ACM
16 years 2 months ago
Sun dial: exploring techno-spiritual design through a mobile islamic call to prayer application
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, ...
CBMS
2002
IEEE
15 years 7 months ago
A Mobile E-Health System Based on Workflow Automation Tools
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,...