ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper proposes a methodology for designing a class of algorithms for computing functions in dynamic distributed systems in which communication channels and processes may ceas...
ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
This work focuses on scenarios that require the storage of large amounts of data. Such systems require the ability to either continuously increase the storage space or reclaim spa...
ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
14 years 5 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
In this paper, we propose and prove correct a distributed stabilizing implementation of an overlay, called DR-tree, optimized for efficient selective dissemination of information...
ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...
ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
— Efficient video-on-demand (VoD) is a highly desired service for media and telecom providers. VoD allows subscribers to view any item in a large media catalog nearly-instantane...
ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
Connectivity is a crucial issue in wireless networks. Gupta and Kumar show that with omnidirectional antennas, the critical transmission range for a wireless network to achieve as...
ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...