2687 search results - page 205 / 538 » Formal Analysis of PKCS |
147
click to vote
JOC
2011
14 years 7 months ago
2011
This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully s...
178
click to vote
CAIP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In depth map generation, the settings of the algorithm parameters to yield an accurate disparity estimation are usually chosen empirically or based on unplanned experimen...
149
click to vote
DAC
2011
ACM
14 years 4 months ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are difï...
143
click to vote
FDL
2011
IEEE
14 years 4 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
154
click to vote
ICDAR
2011
IEEE
14 years 4 months ago
2011
IEEE
—We propose a novel method to evaluate table segmentation results based on a table image ground truther. In the ground-truthing process, we ï¬rst extract connected components fr...