277 search results - page 37 / 56 » Describing Role Models in Terms of Formal Concept Analysis |
162
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
122
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
177
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Domain ontologies very rarely model verbs as relations holding between concepts. However, the role of the verb as a central connecting element between concepts is undenia...
164
click to vote
INFOCOM
1997
IEEE
15 years 10 months ago
1997
IEEE
In ihis paper, we design and analyze a growable multicast ATM switch. It can grow to a large size since both cell routing and contention resolution are designed to distribute over...
280
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Ontology matching, aiming to obtain semantic correspondences between two ontologies, has played a key role in data exchange, data integration and metadata management. Among numero...