549 search results - page 59 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
162
click to vote
IFIPTCS
2010
15 years 1 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
150
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
128
click to vote
JSS
1998
15 years 3 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
122
click to vote
CIKM
1997
Springer
15 years 8 months ago
1997
Springer
CT This paper explores several methods for visualizing the thematic content of large document collections. As opposed to traditional query-driven document retrieval, these methods ...
130
click to vote
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...