16218 search results - page 508 / 3244 » Standards |
233
Voted
CONCUR
2011
Springer
14 years 7 months ago
2011
Springer
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...
206
Voted
CTRSA
2012
Springer
14 years 3 months ago
2012
Springer
We provide an analysis of current and future algorithms for signature and encryption in the EMV standards in the case where a single key-pair is used for both signature and encrypt...
223
Voted
FOSSACS
2012
Springer
14 years 3 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
242
Voted
PAMI
2012
13 years 9 months ago
2012
—It has been shown that the Universum data, which do not belong to either class of the classification problem of interest, may contain useful prior domain knowledge for training...
480
click to vote
Book
This book shows that several system and control theory problems can be reduced to a few standard convex or quasiconvex optimization problems involving linear matrix inequalities (L...