255 search results - page 34 / 51 » Generalizing Consistency and other Constraint Properties to ... |
CCS
2005
ACM
15 years 3 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
80
Voted
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
A novel control method is proposed for networked control systems with nonlinear process, probably non-Gaussian process noise and time delays. The performance index of closed loop c...
122
Voted
SIAMREV
2010
14 years 4 months ago
2010
The affine rank minimization problem consists of finding a matrix of minimum rank that satisfies a given system of linear equality constraints. Such problems have appeared in the ...
GPCE
2007
Springer
15 years 4 months ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
76
Voted
SIGIR
2005
ACM
15 years 3 months ago
2005
ACM
We present a model, based on the maximum entropy method, for analyzing various measures of retrieval performance such as average precision, R-precision, and precision-at-cutoffs....