Sciweavers

FMSD
2002
81views more  FMSD 2002»
13 years 4 months ago
A Notation and Logic for Mobile Computing
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
Gruia-Catalin Roman, Peter J. McCann
RIDE
2000
IEEE
13 years 9 months ago
Exploiting Planned Disconnections in Mobile Environments
We present the notion of a distributed database made up entirely of mobile components. Since disconnections will be frequent in such an environment, we develop a disconnection and...
JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi