317 search results - page 44 / 64 » Snap-Stabilization in Message-Passing Systems |
RSP
1999
IEEE
14 years 2 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
JCP
2006
13 years 10 months ago
2006
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...
SIAMCOMP
2000
13 years 9 months ago
2000
We study the problem of achieving reliable communication with quiescent algorithms (i.e., algorithms that eventually stop sending messages) in asynchronous systems with process cra...
WWW
2005
ACM
14 years 10 months ago
2005
ACM
In this paper, we propose a Web based agent system called MiSpider, which provides intelligent web services on web browsers. MiSpider enables users to use agents on existing brows...
CISS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—To achieve higher reliability, safety, and faulttolerance, many mission-critical detection and decision systems implement consensus algorithms that force the systems’ ...