Sciweavers

5446 search results - page 13 / 1090
» Mobile computing
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
14 years 29 days ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
ICSOC
2003
Springer
14 years 21 days ago
Disconnected Operation Service in Mobile Grid Computing
Abstract. In this paper, we discuss on the extension of grid computing systems in mobile computing environments, where mobile devices can be effectively incorporated into the grid ...
Sang-Min Park, Young-Bae Ko, Jai-Hoon Kim
ISW
2004
Springer
14 years 26 days ago
Universally Composable Secure Mobile Agent Computation
We study the security challenges faced by the mobile agent paradigm, where code travels and performs computations on remote hosts in an autonomous manner. We define universally co...
Ke Xu, Stephen R. Tate
MOBICOM
2004
ACM
14 years 28 days ago
Context awareness for group interaction support
In this paper, we present a prototypically implemented system for supporting group interaction in mobile distributed computing
Alois Ferscha, Clemens Holzmann, Stefan Oppl
DEXA
1998
Springer
90views Database» more  DEXA 1998»
13 years 11 months ago
On the Correctness of a Transaction Model for Mobile Computing
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...
Sanjay Kumar Madria, Bharat K. Bhargava