2687 search results - page 8 / 538 » Formal Analysis of PKCS |
DSVIS
1998
Springer
14 years 3 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
RSCTC
2004
Springer
14 years 4 months ago
2004
Springer
The theory of rough sets and formal concept analysis are compared in a common framework based on formal contexts. Different concept lattices can be constructed. Formal concept ana...
EDCC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
IPMU
2010
Springer
14 years 3 months ago
2010
Springer
The paper offers a parallel between two approaches to conceptual clustering, namely
INFORMS
1998
13 years 10 months ago
1998