12301 search results - page 2119 / 2461 » Distributed Computation in Dynamic Networks |
133
click to vote
MOBISYS
2004
ACM
16 years 4 months ago
2004
ACM
In this paper, we consider the problem of file synchronization when a mobile host shares files with a backbone file server in a network file system. Several diff schemes have been...
188
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...
145
click to vote
MOBICOM
2010
ACM
15 years 4 months ago
2010
ACM
Mobility traces of people and vehicles have been collected and published to assist the design and evaluation of mobile networks, such as large-scale urban sensing networks. Althou...
142
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The advent of the Semantic Web necessitates paradigm shifts away from centralized client/server architectures towards decentralization and peer-to-peer computation, making the exi...
149
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...