1027 search results - page 159 / 206 » Representing and Reasoning with Operational Semantics |
103
Voted
WICSA
2008
15 years 2 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
109
Voted
OTM
2005
Springer
15 years 6 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
132
click to vote
EKAW
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
102
Voted
ENTCS
2008
15 years 19 days ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
110
Voted
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The goal of Model Management is the development of new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be perf...