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 :
بازگشت