Sciweavers

2394 search results - page 156 / 479
» Implementing Mobile Haskell
Sort
View
TELECARE
2004
275views Healthcare» more  TELECARE 2004»
15 years 5 months ago
TeleCARE Time Bank: A Virtual Community supported by Mobile Agents
The virtual community concept, when supported by adequate ICT and organizational infrastructures, represents a very promising approach for a new philosophy in elderly care and acti...
Octavio Castolo, Filipa Ferrada, Luis M. Camarinha...
PERCOM
2008
ACM
15 years 3 months ago
An application framework for mobile, context-aware trails
In this paper 1 we describe the design, implementation and evaluation of a software framework that supports the development of mobile, context-aware trails-based applications. A t...
Cormac Driver, Siobhán Clarke
143
Voted
ASE
2004
117views more  ASE 2004»
15 years 3 months ago
Model Checking for Combined Logics with an Application to Mobile Systems
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
Massimo Franceschet, Angelo Montanari, Maarten de ...
121
Voted
IPCV
2010
15 years 1 months ago
Eyes-Free Barcode Localization and Decoding for Visually Impaired Mobile Phone Users
An eyes-free barcode localization and decoding method is presented that enables visually impaired (VI) mobile phone users to decode MSI (Modified Plessy) barcodes on shelves and U...
Vladimir A. Kulyukin, Aliasgar Kutiyanawala
MOBISYS
2011
ACM
14 years 6 months ago
Security versus energy tradeoffs in host-based mobile malware detection
The rapid growth of mobile malware necessitates the presence of robust malware detectors on mobile devices. However, running malware detectors on mobile devices may drain their ba...
Jeffrey Bickford, H. Andrés Lagar-Cavilla, ...