Sciweavers

6059 search results - page 224 / 1212
» A Technique for Verifying Measurements
Sort
View
EMSOFT
2007
Springer
15 years 10 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
PAIRING
2010
Springer
155views Cryptology» more  PAIRING 2010»
15 years 4 months ago
Identification of Multiple Invalid Pairing-Based Signatures in Constrained Batches
Abstract. This paper describes a new method in pairing-based signature schemes for identifying the invalid digital signatures in a batch after batch verification has failed. The me...
Brian J. Matt
ECIR
2008
Springer
15 years 8 months ago
Clustering Template Based Web Documents
More and more documents on the World Wide Web are based on templates. On a technical level this causes those documents to have a quite similar source code and DOM tree structure. G...
Thomas Gottron
IMAGING
2000
15 years 8 months ago
Evaluation of Bispectral Spectrophotometry for Accurate Colorimetry of Printing Materials
During recent years the need for accurate color measurements has been increasing to achieve proper color management in a number of industries. One of the most wide spread techniqu...
Sergio Gonzalez, Mark D. Fairchild
IMC
2010
ACM
15 years 4 months ago
Netalyzr: illuminating the edge network
In this paper we present Netalyzr, a network measurement and debugging service that evaluates the functionality provided by people's Internet connectivity. The design aims to...
Christian Kreibich, Nicholas Weaver, Boris Nechaev...