4211 search results - page 176 / 843 » A formal approach to MASQ |
143
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
184
click to vote
LCPC
2005
Springer
16 years 1 days ago
2005
Springer
The goal of this work is a systematic approach to compiler optimization for simultaneously optimizing across multiple levels of the memory hierarchy. Our approach combines compiler...
130
click to vote
MICAI
2005
Springer
16 years 1 days ago
2005
Springer
We propose a framework for reactive motion and sensing planning based on critical events. A critical event amounts to crossing a critical curve, which divides the environment. We h...
161
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...
172
click to vote
ESWS
2004
Springer
15 years 12 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...