2687 search results - page 102 / 538 » Formal Analysis of PKCS |
108
click to vote
APL
1993
ACM
15 years 8 months ago
1993
ACM
: The problem of a finding of ranging of the objects nearest to the cyclic relation set by the expert between objects is considered. Formalization of the problem arising at it is r...
124
click to vote
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
131
click to vote
ENTCS
2007
15 years 3 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
217
click to vote
DOCENG
2011
ACM
14 years 3 months ago
2011
ACM
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...
115
click to vote
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
Hausdorff distance (HD) and its modifications provides one of the best approaches for matching of binary images. This paper proposes a formalism generalizing almost all of these H...