FRINK Linked Data Fragments server

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

• W1511784927 endingPage "542" @default.
• W1511784927 startingPage "535" @default.
• W1511784927 abstract "This paper studies the problem of checking the simulation preorder for data-centric services. It focuses more specifically on the underlying decidability and complexity issues in the framework of the Colombo model [1]. We show that the simulation test is exptime-complete for Colombo services without any access to the database (noted ColomboDB = ∅ ) and 2exptime-complete when only bounded databases are considered (the obtained model is noted Colombo bound ). This is a decidability border since we have shown in previous work that the simulation test for unbounded Colombo is undecidable. Moreover, as a side effect of this work, we establish a correspondance between ColomboDB = ∅ , restricted to equality, and Guarded Variable Automata (GVA) [2]. As a consequence, we derive EXPTIME-completeness of simulation for GVA." @default.
• W1511784927 created "2016-06-24" @default.
• W1511784927 creator A5018122972 @default.
• W1511784927 creator A5042705320 @default.
• W1511784927 creator A5051532575 @default.
• W1511784927 creator A5065630824 @default.
• W1511784927 date "2014-01-01" @default.
• W1511784927 modified "2023-09-25" @default.
• W1511784927 title "Decidability and Complexity of Simulation Preorder for Data-Centric Web Services" @default.
• W1511784927 cites W1511214424 @default.
• W1511784927 cites W1511784927 @default.
• W1511784927 cites W1558490143 @default.
• W1511784927 cites W1580943896 @default.
• W1511784927 cites W1826327870 @default.
• W1511784927 cites W1852748590 @default.
• W1511784927 cites W2005830997 @default.
• W1511784927 cites W2029133737 @default.
• W1511784927 cites W2037064850 @default.
• W1511784927 cites W2145858850 @default.
• W1511784927 cites W4241108585 @default.
• W1511784927 cites W4246345639 @default.
• W1511784927 doi "https://doi.org/10.1007/978-3-662-45391-9_46" @default.
• W1511784927 hasPublicationYear "2014" @default.
• W1511784927 type Work @default.
• W1511784927 sameAs 1511784927 @default.
• W1511784927 citedByCount "3" @default.
• W1511784927 countsByYear W15117849272014 @default.
• W1511784927 countsByYear W15117849272015 @default.
• W1511784927 countsByYear W15117849272016 @default.
• W1511784927 crossrefType "book-chapter" @default.
• W1511784927 hasAuthorship W1511784927A5018122972 @default.
• W1511784927 hasAuthorship W1511784927A5042705320 @default.
• W1511784927 hasAuthorship W1511784927A5051532575 @default.
• W1511784927 hasAuthorship W1511784927A5065630824 @default.
• W1511784927 hasBestOaLocation W15117849271 @default.
• W1511784927 hasConcept C110251889 @default.
• W1511784927 hasConcept C112505250 @default.
• W1511784927 hasConcept C11413529 @default.
• W1511784927 hasConcept C118615104 @default.
• W1511784927 hasConcept C132525143 @default.
• W1511784927 hasConcept C132569581 @default.
• W1511784927 hasConcept C134306372 @default.
• W1511784927 hasConcept C135315306 @default.
• W1511784927 hasConcept C136764020 @default.
• W1511784927 hasConcept C153269930 @default.
• W1511784927 hasConcept C179799912 @default.
• W1511784927 hasConcept C192034797 @default.
• W1511784927 hasConcept C197685441 @default.
• W1511784927 hasConcept C203776342 @default.
• W1511784927 hasConcept C2333172 @default.
• W1511784927 hasConcept C2780213375 @default.
• W1511784927 hasConcept C33923547 @default.
• W1511784927 hasConcept C34388435 @default.
• W1511784927 hasConcept C41008148 @default.
• W1511784927 hasConcept C43517604 @default.
• W1511784927 hasConcept C55348073 @default.
• W1511784927 hasConcept C56049555 @default.
• W1511784927 hasConcept C80444323 @default.
• W1511784927 hasConcept C8797682 @default.
• W1511784927 hasConceptScore W1511784927C110251889 @default.
• W1511784927 hasConceptScore W1511784927C112505250 @default.
• W1511784927 hasConceptScore W1511784927C11413529 @default.
• W1511784927 hasConceptScore W1511784927C118615104 @default.
• W1511784927 hasConceptScore W1511784927C132525143 @default.
• W1511784927 hasConceptScore W1511784927C132569581 @default.
• W1511784927 hasConceptScore W1511784927C134306372 @default.
• W1511784927 hasConceptScore W1511784927C135315306 @default.
• W1511784927 hasConceptScore W1511784927C136764020 @default.
• W1511784927 hasConceptScore W1511784927C153269930 @default.
• W1511784927 hasConceptScore W1511784927C179799912 @default.
• W1511784927 hasConceptScore W1511784927C192034797 @default.
• W1511784927 hasConceptScore W1511784927C197685441 @default.
• W1511784927 hasConceptScore W1511784927C203776342 @default.
• W1511784927 hasConceptScore W1511784927C2333172 @default.
• W1511784927 hasConceptScore W1511784927C2780213375 @default.
• W1511784927 hasConceptScore W1511784927C33923547 @default.
• W1511784927 hasConceptScore W1511784927C34388435 @default.
• W1511784927 hasConceptScore W1511784927C41008148 @default.
• W1511784927 hasConceptScore W1511784927C43517604 @default.
• W1511784927 hasConceptScore W1511784927C55348073 @default.
• W1511784927 hasConceptScore W1511784927C56049555 @default.
• W1511784927 hasConceptScore W1511784927C80444323 @default.
• W1511784927 hasConceptScore W1511784927C8797682 @default.
• W1511784927 hasLocation W15117849271 @default.
• W1511784927 hasLocation W15117849272 @default.
• W1511784927 hasLocation W15117849273 @default.
• W1511784927 hasLocation W15117849274 @default.
• W1511784927 hasLocation W15117849275 @default.
• W1511784927 hasLocation W15117849276 @default.
• W1511784927 hasOpenAccess W1511784927 @default.
• W1511784927 hasPrimaryLocation W15117849271 @default.
• W1511784927 hasRelatedWork W1511784927 @default.
• W1511784927 hasRelatedWork W1542723194 @default.
• W1511784927 hasRelatedWork W2038320736 @default.
• W1511784927 hasRelatedWork W2296727559 @default.
• W1511784927 hasRelatedWork W2529633050 @default.
• W1511784927 hasRelatedWork W3094762410 @default.
• W1511784927 hasRelatedWork W3209871473 @default.

• next