3521 search results - page 343 / 705 » Algorithmic Control in Concurrent Computations |
139
click to vote
EUROSYS
2006
ACM
16 years 2 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...
138
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Network protocols are typically designed and tested individually. In practice, however, applications use multiple protocols concurrently. This discrepancy can lead to failures fro...
159
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
This paper addresses two important challenges for current P2P systems, namely churn and selfishness. First, we report on a system [19] whose desirable properties (small peer degre...
136
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
162
Voted
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
—Cognitive Radio Networks (CRNs) have recently emerged as a promising technology to improve spectrum utilization by allowing secondary users to dynamically access idle primary ch...