2687 search results - page 134 / 538 » Formal Analysis of PKCS |
139
click to vote
ICFCA
2007
Springer
15 years 8 months ago
2007
Springer
Several fuzzifications of formal concept analysis have been proposed to deal with uncertainty or incomplete information. In this paper, we focus on the new paradigm of multi-adjoin...
117
click to vote
FORTE
2007
15 years 5 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
ACL
2006
15 years 5 months ago
2006
We propose in this paper a method for quantifying sentence grammaticality. The approach based on Property Grammars, a constraint-based syntactic formalism, makes it possible to ev...
163
click to vote
ECEASST
2006
15 years 4 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
129
click to vote
PTS
2010
15 years 2 months ago
2010
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...