Sciweavers

2696 search results - page 278 / 540
» Semantic Abstraction and Anaphora
Sort
View
DEXA
2007
Springer
154views Database» more  DEXA 2007»
16 years 23 days ago
Performance Oriented Schema Matching
Abstract. Semantic matching of schemas in heterogeneous data sharing systems is time consuming and error prone. Existing mapping tools employ semi-automatic techniques for mapping ...
Khalid Saleem, Zohra Bellahsene, Ela Hunt
ESOP
2007
Springer
16 years 23 days ago
Principal Type Schemes for Modular Programs
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
Derek Dreyer, Matthias Blume
ESWS
2007
Springer
16 years 23 days ago
Developing Ontologies for Collaborative Engineering in Mechatronics
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
Violeta Damjanovic, Wernher Behrendt, Manuela Pl&o...
LOPSTR
2007
Springer
16 years 22 days ago
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
Mario Méndez-Lojo, Jorge Navas, Manuel V. H...
MODELS
2007
Springer
16 years 22 days ago
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
Cécile Hardebolle, Frédéric B...