Sciweavers

7 search results - page 2 / 2
» nlp: A Compiler for Nested Logic Programming
Sort
View
PPDP
2004
Springer
13 years 10 months ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
ICDE
2008
IEEE
208views Database» more  ICDE 2008»
14 years 6 months ago
Clip: a Visual Language for Explicit Schema Mappings
Many data integration solutions in the market today include tools for schema mapping, to help users visually relate elements of different schemas. Schema elements are connected wit...
Alessandro Raffio, Daniele Braga, Mauricio A. Hern...