Sciweavers

8 search results - page 1 / 2
» Towards seamless mobility on pervasive hardware
Sort
View
PERCOM
2005
ACM
14 years 4 months ago
Towards seamless mobility on pervasive hardware
Preserving one's uniquely customized computing environment as one moves to different locations is an enduring challenge in mobile computing. We examine why this capability is...
Mahadev Satyanarayanan, Michael Kozuch, Casey Helf...
CISIM
2007
IEEE
13 years 11 months ago
Towards a Pervasive Mobile Multimedia Experience
Mobile devices of the PDA and cellular phone genre are becoming increasingly ubiquitous. However, their ability to enable a truly mobile multimedia experience has been compromised...
Xu Chen, Michael J. O'Grady, Gregory M. P. O'Hare
ICECCS
2008
IEEE
183views Hardware» more  ICECCS 2008»
13 years 11 months ago
Ambient Intelligence Applications: Introducing the Campus Framework
A challenge for pervasive computing is the seamless integration of computer support with users’ activities in a very dynamic setting, with deep human and resource mobility. Port...
Amal El Fallah-Seghrouchni, Karin Breitman, Nicola...
ICC
2007
IEEE
193views Communications» more  ICC 2007»
13 years 11 months ago
A Semantic Context Model for Location-Based Cooperative Mobile Computing
—This paper addresses context issues in pervasive mobile computing and presents a semantic context model to support location based cooperative mobile applications. In this paper,...
Bin Hu, Philip Moore, Hsiai-Hwa Chen
TPHOL
2005
IEEE
13 years 10 months ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...