614 search results - page 13 / 123 » A RESTful messaging system for asynchronous distributed proc... |
ENTCS
2002
15 years 15 days ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
90
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
This report introduces a hybrid asynchronous, distributed audio/video group conferencing system. One of the chief benefits of Internet communication systems is that they allow com...
110
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...
100
click to vote
SIAMCOMP
2000
15 years 14 days 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...
106
Voted
ICSE
1995
IEEE-ACM
15 years 4 months ago
1995
IEEE-ACM
-- While a large fraction of application code is devoted to graphical user interface (GUI) functions, support for reuse in this domain has largely been confined to the creation of...