Title :
Formal Analysis of Passive Measurement Inference Techniques
Author :
Jaiswal, Sharad ; Iannaccone, Gianluca ; Kurose, Jim ; Towsley, Don
Keywords :
Area measurement; Computer networks; Computer science; Computerized monitoring; Condition monitoring; Formal verification; Loss measurement; Observability; Protocols; Telecommunication traffic;
Conference_Titel :
INFOCOM 2006. 25th IEEE International Conference on Computer Communications. Proceedings
Conference_Location :
Barcelona, Spain
Print_ISBN :
1-4244-0221-2
DOI :
10.1109/INFOCOM.2006.282