DocumentCode
2272772
Title
Formal Analysis of Passive Measurement Inference Techniques
Author
Jaiswal, Sharad ; Iannaccone, Gianluca ; Kurose, Jim ; Towsley, Don
fYear
2006
fDate
38808
Firstpage
1
Lastpage
12
Keywords
Area measurement; Computer networks; Computer science; Computerized monitoring; Condition monitoring; Formal verification; Loss measurement; Observability; Protocols; Telecommunication traffic;
fLanguage
English
Publisher
ieee
Conference_Titel
INFOCOM 2006. 25th IEEE International Conference on Computer Communications. Proceedings
Conference_Location
Barcelona, Spain
ISSN
0743-166X
Print_ISBN
1-4244-0221-2
Type
conf
DOI
10.1109/INFOCOM.2006.282
Filename
4146935
Link To Document