1419 search results - page 38 / 284 » Notes on Formalizing Context |
109
click to vote
LPNMR
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
98
Voted
AMAST
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OOformalisms is closely related to the concept of inheri...
86
Voted
WCRE
1999
IEEE
15 years 4 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
94
Voted
WSC
2007
15 years 2 months ago
2007
This article deals with an approach for managing scheduling in semiconductor manufacturing facilities. The proposed approach ensures consistency between global and local schedulin...
131
Voted
ICCS
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...