A sharing-based approach to supporting adaptation in service compositions
DOI10.1007/S00607-012-0230-ZzbMATH Open1314.68065OpenAlexW2053569861MaRDI QIDQ488324FDOQ488324
Authors: Dragan Ivanović, M. Carro, Manuel Hermenegildo
Publication date: 26 January 2015
Published in: Computing (Search for Journal in Brave)
Full work available at URL: http://oa.upm.es/33656/
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Dependence logic. A new approach to independence friendly logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Concept Lattices
- Grammar Analysis and Parsing by Abstract Interpretation
- Title not available (Why is that?)
- Ontology Matching
- Formal concept analysis. Foundations and applications.
- Independence-friendly logic and axiomatic set theory
- Journal on Data Semantics IV
- An overview of Ciao and its design philosophy
- Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
- Title not available (Why is that?)
This page was built for publication: A sharing-based approach to supporting adaptation in service compositions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q488324)