Sciweavers

17082 search results - page 150 / 3417
» Abstractions for Mobile Computation
Sort
View
118
Voted
FAC
2010
93views more  FAC 2010»
15 years 1 months ago
Verification and falsification of programs with loops using predicate abstraction
Daniel Kroening, Georg Weissenbacher
127
Voted
DPD
2008
136views more  DPD 2008»
15 years 3 months ago
A cache invalidation scheme for continuous partial match queries in mobile computing environments
The continuous partial match query is a partial match query whose result remains consistently in the client's memory. Conventional cache invalidation methods for mobile client...
Yon Dohn Chung
137
Voted
DEXAW
1998
IEEE
98views Database» more  DEXAW 1998»
15 years 7 months ago
An Information Model for Nomadic Environments
In this paper we present a software architecture which facilitates nomadic computing in an Open Distributed Computing environment. We introduce a model for the description of mobi...
Andy Bond, Matthew Gallagher, Jadwiga Indulska
167
Voted
SIGCOMM
1994
ACM
15 years 7 months ago
Highly Dynamic Destination-Sequenced Distance-Vector Routing (DSDV) for mobile computers
An ad-hoc network is the cooperative engagement of a collection of Mobile Hosts without the required intervention of any centralized Access Point. In this paper we present an inno...
Charles E. Perkins, Pravin Bhagwat
112
Voted
BIRTHDAY
2008
Springer
15 years 5 months ago
Observability Concepts in Abstract Data Type Specification, 30 Years Later
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
Donald Sannella, Andrzej Tarlecki