70 search results - page 4 / 14 » How to Complete a Doubling Metric |
SIGCOMM
2005
ACM
14 years 27 days ago
2005
ACM
This paper introduces a lightweight, scalable and accurate framework, called Meridian, for performing node selection based on network location. The framework consists of an overla...
CHARME
2003
Springer
13 years 11 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
WCNC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— In this paper we propose the enhancement of routing metrics through a more complete view of the physical channel. Using cross-layer optimizations, we develop the Distri...
TACAS
2001
Springer
13 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
EDBTW
2010
Springer
14 years 2 months ago
2010
Springer
Organizations often need to release microdata without revealing sensitive information. To this scope, data are anonymized and, to assess the quality of the process, various privac...