281 search results - page 2 / 57 » Imperative objects and mobile processes |
MA
2000
Springer
13 years 9 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
ENTCS
1998
13 years 5 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
MATA
2001
Springer
13 years 10 months ago
2001
Springer
This paper presents a framework for building network protocols for migrating mobile agents over a network. The framework allows network protocols for agent migration to be naturall...
DEXA
2006
Springer
13 years 9 months ago
2006
Springer
Recent work on continuous queries has focused on processing queries in very large, mobile environments. In this paper, we propose a system leveraging the computing capacities of mo...
CONCURRENCY
1998
13 years 5 months ago
1998
Universal Personal Computing (UPC) supports nomadic computing on the Internet by allowing mobile users to access their personalized computing resources anywhere on the Internet us...