12334 search results - page 2210 / 2467 » The Use of C |
162
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
184
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
169
click to vote
FGR
2008
IEEE
15 years 8 months ago
2008
IEEE
Face recognition algorithms typically deal with the classification of static images of faces that are obtained using a camera. In this paper we propose a new sensing mechanism bas...
188
click to vote
IMC
2007
ACM
15 years 8 months ago
2007
ACM
We address the problem of efficient end-to-end network monitoring of path metrics in communication networks. Our goal is to minimize the number of measurements or monitors requir...
193
click to vote
IMC
2007
ACM
15 years 8 months ago
2007
ACM
We address the problem of calculating link loss rates from end-to-end measurements. Contrary to existing works that use only the average end-to-end loss rates or strict temporal c...