2766 search results - page 542 / 554 » Hybridizing a Logical Framework |
84
Voted
CBSE
2004
Springer
15 years 2 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
101
click to vote
ICLP
2004
Springer
15 years 2 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
105
Voted
KR
2004
Springer
15 years 2 months ago
2004
Springer
In this paper, a new method for merging multiple inconsistent knowledge bases in the framework of possibilistic logic is presented. We divide the fusion process into two steps: on...
WWW
2003
ACM
15 years 2 months ago
2003
ACM
This article presents the semantic portal MUSEUMFINLAND for publishing heterogeneous museum collections on the Semantic Web. It is shown how museums with their semantically rich a...
100
Voted
FMCO
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...