2687 search results - page 10 / 538 » Formal Analysis of PKCS |
FMICS
2008
Springer
14 years 13 days ago
2008
Springer
POPL
2012
ACM
12 years 6 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
14 years 4 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...
ORDER
2002
13 years 10 months 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...
ASP
2003
Springer
14 years 4 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...