2687 search results - page 106 / 538 » Formal Analysis of PKCS |
132
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
130
click to vote
ANSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
122
click to vote
AO
2005
15 years 3 months ago
2005
The paper considers the problem of defining concepts within formal ontologies. A number of distinct modes of definition are identified, which represent alternative viewpoints on t...
117
Voted
ICFCA
2009
Springer
15 years 8 months ago
2009
Springer
We present an approach to the cell formation problem, known from group technology, which is inspired by formal concept analysis. The cell formation problem consists in allocating p...
144
Voted
EUSFLAT
2009
15 years 1 months ago
2009
Abstract-- An L-fuzzy context is a triple consisting of a set of objects, a set of attributes and an L-fuzzy binary relation between them. An l-cut is a classical context over the ...