Formal Analysis of Passive Measurement Inference Techniques.

Sharad Jaiswal Gianluca Iannaccone James F. Kurose Donald F. Towsley

Published in: INFOCOM (2006)

Keyphrases

formal analysis
agent model
formal methods
probabilistic inference
bayesian networks
data acquisition
inference process
ban logic
database systems
lightweight