13026 search results - page 411 / 2606 » Probabilistic Relational Models |
132
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—We develop diverse routing schemes for dealing with multiple, possibly correlated, failures. While disjoint path protection can effectively deal with isolated single link failur...
129
Voted
COLCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Distributed systems are typically designed for scale and performance first, which makes it difficult to add security later without affecting the original properties. This paper ...
128
Voted
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
146
click to vote
RTAS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...
157
Voted
FORMATS
2009
Springer
15 years 9 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...