6059 search results - page 140 / 1212 » A Technique for Verifying Measurements |
157
click to vote
IMA
2003
Springer
15 years 11 months ago
2003
Springer
A method for remote user authentication is proposed that requires only public information to be stored at the verifying host. Like the S/KEY scheme, the new technique uses only sym...
143
click to vote
SFP
2004
15 years 7 months ago
2004
: In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to an abstract machine for this lan...
203
click to vote
CCR
2008
15 years 6 months ago
2008
A broad spectrum of network measurement applications demand passive multipoint measurements in which data from multiple observation points has to be correlated. Examples are the p...
192
click to vote
PKDD
1999
Springer
15 years 10 months ago
1999
Springer
When mining a large database, the number of patterns discovered can easily exceed the capabilities of a human user to identify interesting results. To address this problem, variou...
173
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...