8228 search results - page 1315 / 1646 » Structural Logical Relations |
162
click to vote
ARGMAS
2004
Springer
15 years 9 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
146
click to vote
CBSE
2004
Springer
15 years 9 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...
135
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
141
click to vote
PROFES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. System architectures are described in abstract terms, often using Design Patterns. Actual reuse based on such descriptions requires that each development project derive a...
156
click to vote
IDEAS
2003
IEEE
15 years 9 months ago
2003
IEEE
The objective of this paper is to investigate the problems related to the extensional integration of information sources. In particular, we propose an approach for managing incons...