Sciweavers

2465 search results - page 94 / 493
» An Adaptive Distributed System Based on Conditional Dependen...
Sort
View
IPPS
2003
IEEE
15 years 9 months ago
Dynamic Resource Discovery for Applications Survivability in Distributed Real-Time Systems
In this paper we propose a new resource discovery protocol, REALTOR, which is based on a combination of pullbased and push-based resource information dissemination. REALTOR has be...
Byung-Kyu Choi, Sangig Rho, Riccardo Bettati
WAC
2005
Springer
135views Communications» more  WAC 2005»
15 years 9 months ago
Context-Driven Self-configuration of Mobile Ad Hoc Networks
We present the design and implementation of a working prototype system that enables self-configuration in mobile ad hoc networks (MANETs) by exploiting context awareness and cross-...
Apostolos Malatras, George Pavlou
159
Voted
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
15 years 9 months ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
ICDCS
2002
IEEE
15 years 9 months ago
Group-Based Management of Distributed File Caches
We describe how to manage distributed file system caches based upon groups of files that are accessed together. We use file access patterns to automatically construct dynamic g...
Ahmed Amer, Darrell D. E. Long, Randal C. Burns
NOSSDAV
2009
Springer
15 years 10 months ago
Adaptive overlay topology for mesh-based P2P-TV systems
In this paper, we propose a simple and fully distributed mechanism for constructing and maintaining the overlay topology in mesh-based P2P-TV systems. Our algorithm optimizes the ...
Richard John Lobb, Ana Paula Couto da Silva, Emili...