255 search results - page 34 / 51 » Generalizing Consistency and other Constraint Properties to ... |
163
click to vote
CCS
2005
ACM
15 years 11 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...
162
Voted
CDC
2009
IEEE
15 years 7 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...
199
click to vote
SIAMREV
2010
15 years 25 days 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 ...
174
click to vote
GPCE
2007
Springer
16 years 7 days 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...
154
click to vote
SIGIR
2005
ACM
15 years 11 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....