2468 search results - page 376 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
201
click to vote
MIDDLEWARE
2005
Springer
15 years 11 months ago
2005
Springer
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...
168
click to vote
PAMI
1998
15 years 6 months ago
1998
—We present an example-based learning approach for locating vertical frontal views of human faces in complex scenes. The technique models the distribution of human face patterns ...
211
click to vote
TVLSI
2010
15 years 1 months ago
2010
Abstract-- The operational characteristics of integrated circuits based on nanoscale semiconductor technology are expected to be increasingly affected by variations in the manufact...
168
click to vote
EUROCRYPT
2005
Springer
15 years 12 months ago
2005
Springer
Biometric data offer a potential source of high-entropy, secret information that can be used in cryptographic protocols provided two issues are addressed: (1) biometric data are n...
162
click to vote
ICS
2007
Tsinghua U.
16 years 14 days ago
2007
Tsinghua U.
Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when relevant program behavi...