… it to all its neighbors) would solve our routing problem, but at the cost of involving all sensors
… family of routing protocols called Parametric Probabilistic Sensor Network Routing protocols…

… In this paper, we propose a probabilistic model checking method to ER-based system design
and monitor ER-based system’s running behavior via our scheduling scheme. Specifically, …

… a probabilistic model for OR networks capable to compute the law of route formation, probability
of successful transmission per route and probability of successful network transmission (…

… this issue by modeling SRLG events probabilistically so that … Our probabilistic SRLG model
is applicable to a number of … However, in a probabilistic model, a link may be shared if it is …

… routing performance we consider doing probabilistic routing and propose PRoPHET, a
Probabilistic Routing … To accomplish this, we establish a probabilistic metric called delivery …

… modeling techniques are fundamental to Internet topology research. Spatial analysis of the
Internet is needed to develop network planning, optimal routing … model is probabilistic with …

… We perform a probabilistic analysis of onion routing. The analysis is presented in a black-box
model of anonymous … Probabilistic model. Our previous analysis in the I/O-automata …

… routing loops, quantitative properties are often probabilistic, and thus more challenging, due
to the complexity of computing over probabilistic models … models that account for router state…

… network analyzers. In this paper, we introduce NetDice, the first scalable and accurate
probabilistic network … BGP We assume that the network uses BGP to propagate external routing …

… the routing problem a challenging one. In this paper we take a novel approach to the routing
… algorithm itself as well as performance comparison with other well-known routing protocols. …