481 search results - page 34 / 97 » Distributed Consensus, revisited |
PDCAT
2007
Springer
14 years 3 months ago
2007
Springer
The mobile Internet enables 24-hour always-on computing with increased demands on time-based analysis. From an assumption that the mobile users are split into three different clus...
CONCUR
2007
Springer
14 years 23 days ago
2007
Springer
Abstract. Almost 20 years after the original conception, we revisit several fundamental questions about modal transition systems. First, we demonstrate the incompleteness of the st...
ADC
2005
Springer
14 years 2 months ago
2005
Springer
The challenges of wireless and mobile computing environments have attracted the attention of researchers to revisit the conventional implementation of distributed computing paradi...
EATCS
1998
13 years 8 months ago
1998
Experiments have shown [2] that we can only memorize images up to a certain complexity level, after which, instead of memorizing the image itself, we, sort of, memorize a probabil...
FORMATS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...