245 search results - page 2 / 49 » The Iterated Weakest Link |
ENTCS
2006
14 years 9 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—A multiple antenna multihop relay network consisting of a source, a relay, and a destination node, is considered. The diversity-multiplexing-delay tradeoffs (DMDT) for various m...
98
Voted
OPODIS
2007
14 years 11 months ago
2007
This paper tackles the consensus problem in asynchronous systems prone to byzantine failures. One way to circumvent the FLP impossibility result consists in adding synchrony assump...
113
click to vote
ESWS
2011
Springer
2011
Springer
Zero-Knowledge Query Planning for an Iterator Implementation of Link Traversal Based Query Execution
14 years 1 months ago
Abstract. Link traversal based query execution is a new query execution paradigm for the Web of Data. This approach allows the execution engine to discover potentially relevant dat...
76
Voted
NSDI
2008
14 years 11 months ago
2008
We aim to advance the understanding of individual security decision-making, by combining formal and behavioral analysis. We sketch a game-theoretic model of security decision-maki...