Hermes: agent-based middleware for mobile computing
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Hi-index | 0.00 |
In this paper we isolate and implement the minimal functionalities for an open platform supporting mobile code. The use of the platform is discussed in the context of pervasive and ubiquitous computing. We also present a calculus for modelling mobile applications.