1549 search results - page 275 / 310 » Distributed Algorithms for Dynamic Survivability of Multiage... |
117
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
138
Voted
ICDCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract: Current peer-to-peer systems are network-agnostic, often generating large volumes of unnecessary inter-ISP traffic. Although recent work has shown the benefits of ISP-a...
117
click to vote
OPODIS
2008
15 years 3 months ago
2008
Abstract. Consensus is a fundamental building block used to solve many practical problems that appear on reliable distributed systems. In spite of the fact that consensus is being ...
151
Voted
ICPP
2009
IEEE
15 years 9 months ago
2009
IEEE
—Wireless sensor networks have become a promising technology in monitoring physical world. In many applications with wireless sensor networks, it is essential to understand how w...
146
click to vote
HOTNETS
2010
14 years 9 months ago
2010
There are a lot of applications that run on modern mobile operating systems. Inevitably, some of these applications fail in the hands of users. Diagnosing a failure to identify the...