Probabilistic verification of BGP convergence.
Soroush HaeriDario KresicLjiljana TrajkovicPublished in: ICNP (2011)
Keyphrases
- probabilistic model
- convergence rate
- bayesian networks
- anomaly detection
- model checking
- information theoretic
- machine learning
- context sensitive
- convergence speed
- iterative algorithms
- probabilistic logic
- posterior probability
- probabilistic approaches
- faster convergence
- face verification
- probabilistic reasoning
- image restoration
- case study