2116 search results - page 274 / 424 » On Probabilistic Alternating Simulations |
145
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
150
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Wireless sensor networks (WSNs) are usually missioned to gather critical information in hostile and adversarial environments, which make them susceptible to compromise a...
120
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we propose a new analytical model for throughput evaluation of wireless network coding. This new approach is based on a probabilistic viewpoint on network coding, i....
160
Voted
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
SybilInfer is an algorithm for labelling nodes in a social network as honest users or Sybils controlled by an adversary. At the heart of SybilInfer lies a probabilistic model of h...
148
Voted
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...