647 search results - page 59 / 130 » Implementation of MAP: A system for mobile assistant program... |
162
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Distributed multi-agent systems require naming services to locate and communicate with remote agents. In this paper we focus on the design and implementation of the “White Pages...
279
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
173
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
166
click to vote
ADBIS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...
201
click to vote
UPP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Achieving real-time response to complex, ambiguous, highbandwidth data is impractical with conventional programming. Only the narrow class of compressible input-output ma...