Search

Your search keyword '"De Giacomo, A."' showing total 118 results

Search Constraints

Start Over You searched for: Author "De Giacomo, A." Remove constraint Author: "De Giacomo, A." Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
118 results on '"De Giacomo, A."'

Search Results

5. Verification and Synthesis in Description Logic Based Dynamic Systems

7. Data Integration under Integrity Constraints

8. Goal-Based Composition of Stateful Services for Smart Homes

9. Ontology-Based Governance of Data-Aware Processes

10. Foundations of Relational Artifacts Verification

11. Conjunctive Artifact-Centric Services

12. Automated Composition of Nondeterministic Stateful Services

13. Using OWL in Data Integration

14. Artifact-Centric Workflow Dominance

15. An Automata-Theoretic Approach to Regular XPath

16. Ontologies and Databases: The DL-Lite Approach

17. Conceptual Modeling for Data Integration

18. Data Integration through Ontologies

19. Linking Data to Ontologies

20. Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring

22. Composition of Services with Nondeterministic Observable Behavior

23. : A Tool for Automatic Composition of e-Services Based on Logics of Programs

24. Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach

25. View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness

26. Hyper: A Framework for Peer-to-Peer Data Integration on Grids

27. A Foundational Vision of e-Services

28. Semantic Data Integration in P2P Systems

29. On the Expressive Power of Data Integration Systems

30. IBIS: Semantic Data Integration at Work

31. Decidable Containment of Recursive Queries

32. Automatic Composition of E-services That Export Their Behavior

33. A Formal Framework for Reasoning on UML Class Diagrams

34. Data Integration under Integrity Constraints

36. Description Logics for Information Integration

38. What Is Query Rewriting?

40. An Incremental Interpreter for High-Level Programs with Sensing

42. Planning with sensing for a mobile robot

44. Structured objects: Modeling and reasoning

50. Mastro: Ontology-Based Data Access at Work (Extended Abstract)

Catalog

Books, media, physical & digital resources