2687 search results - page 10 / 538 » Formal Analysis of PKCS |
FMICS
2008
Springer
15 years 1 months ago
2008
Springer
123
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
113
Voted
ORDER
2002
15 years 1 days ago
2002
The framework and the basic results of Wille on triadic concept analysis, including his Basic Theorem of Triadic Concept Analysis, are here generalized to n-dimensional formal cont...
103
click to vote
ASP
2003
Springer
15 years 5 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...