FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144014719> ?p ?o ?g. }

• W2144014719 endingPage "173" @default.
• W2144014719 startingPage "159" @default.
• W2144014719 abstract "This paper studies complex coordination mechanisms based on constraint satisfaction. In particular, it focuses on data-sensitive connectors from the Reo coordination language. These connectors restrict how and where data can flow between loosely-coupled components taking into account the data being exchanged. Existing engines for Reo provide a very limited support for data-sensitive connectors, even though data constraints are captured by the original semantic models for Reo. When executing data-sensitive connectors, coordination constraints are not exhaustively solved at compile time but at runtime on a per-need basis, powered by an existing SMT (satisfiability modulo theories) solver. To deal with a wider range of data types and operations, we abstract data and reduce the original constraint satisfaction problem to a SAT problem, based on a variation of predicate abstraction. We show soundness and completeness of the abstraction mechanism for well-defined constraints, and validate our approach by evaluating the performance of a prototype implementation with different test cases, with and without abstraction." @default.
• W2144014719 created "2016-06-24" @default.
• W2144014719 creator A5045860912 @default.
• W2144014719 creator A5053931739 @default.
• W2144014719 date "2013-01-01" @default.
• W2144014719 modified "2023-09-27" @default.
• W2144014719 title "Data Abstraction in Coordination Constraints" @default.
• W2144014719 cites W123006178 @default.
• W2144014719 cites W1497571013 @default.
• W2144014719 cites W1500859230 @default.
• W2144014719 cites W150787565 @default.
• W2144014719 cites W1517320587 @default.
• W2144014719 cites W1549774509 @default.
• W2144014719 cites W1556566737 @default.
• W2144014719 cites W1590111213 @default.
• W2144014719 cites W1692521721 @default.
• W2144014719 cites W186570949 @default.
• W2144014719 cites W1976704523 @default.
• W2144014719 cites W1988680012 @default.
• W2144014719 cites W206304267 @default.
• W2144014719 cites W2066210260 @default.
• W2144014719 cites W2115261880 @default.
• W2144014719 cites W2134016554 @default.
• W2144014719 cites W2152375667 @default.
• W2144014719 cites W2202154873 @default.
• W2144014719 cites W2335301379 @default.
• W2144014719 cites W2523402086 @default.
• W2144014719 doi "https://doi.org/10.1007/978-3-642-45364-9_14" @default.
• W2144014719 hasPublicationYear "2013" @default.
• W2144014719 type Work @default.
• W2144014719 sameAs 2144014719 @default.
• W2144014719 citedByCount "6" @default.
• W2144014719 countsByYear W21440147192014 @default.
• W2144014719 countsByYear W21440147192015 @default.
• W2144014719 countsByYear W21440147192016 @default.
• W2144014719 countsByYear W21440147192017 @default.
• W2144014719 countsByYear W21440147192020 @default.
• W2144014719 crossrefType "book-chapter" @default.
• W2144014719 hasAuthorship W2144014719A5045860912 @default.
• W2144014719 hasAuthorship W2144014719A5053931739 @default.
• W2144014719 hasBestOaLocation W21440147192 @default.
• W2144014719 hasConcept C110251889 @default.
• W2144014719 hasConcept C111472728 @default.
• W2144014719 hasConcept C114614502 @default.
• W2144014719 hasConcept C124304363 @default.
• W2144014719 hasConcept C138885662 @default.
• W2144014719 hasConcept C140146324 @default.
• W2144014719 hasConcept C154945302 @default.
• W2144014719 hasConcept C162319229 @default.
• W2144014719 hasConcept C169590947 @default.
• W2144014719 hasConcept C199360897 @default.
• W2144014719 hasConcept C199622910 @default.
• W2144014719 hasConcept C2524010 @default.
• W2144014719 hasConcept C2776036281 @default.
• W2144014719 hasConcept C2779907942 @default.
• W2144014719 hasConcept C33923547 @default.
• W2144014719 hasConcept C39920170 @default.
• W2144014719 hasConcept C41008148 @default.
• W2144014719 hasConcept C489000 @default.
• W2144014719 hasConcept C49937458 @default.
• W2144014719 hasConcept C54732982 @default.
• W2144014719 hasConcept C6943359 @default.
• W2144014719 hasConcept C77088390 @default.
• W2144014719 hasConcept C80444323 @default.
• W2144014719 hasConceptScore W2144014719C110251889 @default.
• W2144014719 hasConceptScore W2144014719C111472728 @default.
• W2144014719 hasConceptScore W2144014719C114614502 @default.
• W2144014719 hasConceptScore W2144014719C124304363 @default.
• W2144014719 hasConceptScore W2144014719C138885662 @default.
• W2144014719 hasConceptScore W2144014719C140146324 @default.
• W2144014719 hasConceptScore W2144014719C154945302 @default.
• W2144014719 hasConceptScore W2144014719C162319229 @default.
• W2144014719 hasConceptScore W2144014719C169590947 @default.
• W2144014719 hasConceptScore W2144014719C199360897 @default.
• W2144014719 hasConceptScore W2144014719C199622910 @default.
• W2144014719 hasConceptScore W2144014719C2524010 @default.
• W2144014719 hasConceptScore W2144014719C2776036281 @default.
• W2144014719 hasConceptScore W2144014719C2779907942 @default.
• W2144014719 hasConceptScore W2144014719C33923547 @default.
• W2144014719 hasConceptScore W2144014719C39920170 @default.
• W2144014719 hasConceptScore W2144014719C41008148 @default.
• W2144014719 hasConceptScore W2144014719C489000 @default.
• W2144014719 hasConceptScore W2144014719C49937458 @default.
• W2144014719 hasConceptScore W2144014719C54732982 @default.
• W2144014719 hasConceptScore W2144014719C6943359 @default.
• W2144014719 hasConceptScore W2144014719C77088390 @default.
• W2144014719 hasConceptScore W2144014719C80444323 @default.
• W2144014719 hasLocation W21440147191 @default.
• W2144014719 hasLocation W21440147192 @default.
• W2144014719 hasLocation W21440147193 @default.
• W2144014719 hasLocation W21440147194 @default.
• W2144014719 hasOpenAccess W2144014719 @default.
• W2144014719 hasPrimaryLocation W21440147191 @default.
• W2144014719 hasRelatedWork W109180904 @default.
• W2144014719 hasRelatedWork W1804882692 @default.
• W2144014719 hasRelatedWork W1815155750 @default.
• W2144014719 hasRelatedWork W1964652583 @default.
• W2144014719 hasRelatedWork W2025670560 @default.

• next