FRINK Linked Data Fragments server

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

• W3048295649 endingPage "104611" @default.
• W3048295649 startingPage "104611" @default.
• W3048295649 abstract "Systems need to be updated to last for a long time in a dynamic environment. The update can be performed both statically, by restarting the system, or dynamically. Updates have to preserve the desirable properties of the system, while possibly enforcing new ones. We consider a simple yet general update mechanism, replacing a component of the system with a new one. We define contexts and components as Constraint Automata interacting via either asynchronous or synchronous communication, and we express properties using Constraint Automata too. Then we build most general updates preserving specific properties, considering both a single property and all the properties satisfied by the original system, in a given context or in all possible contexts. To tackle also dynamic update, we consider the state transfer problem, namely how to find the state in which the new component should be started to ensure a correct overall behaviour." @default.
• W3048295649 created "2020-08-13" @default.
• W3048295649 creator A5030878839 @default.
• W3048295649 creator A5087985917 @default.
• W3048295649 date "2021-08-01" @default.
• W3048295649 modified "2023-10-12" @default.
• W3048295649 title "Static and dynamic property-preserving updates" @default.
• W3048295649 cites W1928675739 @default.
• W3048295649 cites W1970654924 @default.
• W3048295649 cites W1971747251 @default.
• W3048295649 cites W1979914341 @default.
• W3048295649 cites W1988680012 @default.
• W3048295649 cites W1999392360 @default.
• W3048295649 cites W2001570688 @default.
• W3048295649 cites W2032287150 @default.
• W3048295649 cites W2041701185 @default.
• W3048295649 cites W2077479316 @default.
• W3048295649 cites W2102909391 @default.
• W3048295649 cites W2127023692 @default.
• W3048295649 cites W2133439339 @default.
• W3048295649 cites W2134121105 @default.
• W3048295649 cites W2139842876 @default.
• W3048295649 cites W2168908792 @default.
• W3048295649 cites W2178626170 @default.
• W3048295649 doi "https://doi.org/10.1016/j.ic.2020.104611" @default.
• W3048295649 hasPublicationYear "2021" @default.
• W3048295649 type Work @default.
• W3048295649 sameAs 3048295649 @default.
• W3048295649 citedByCount "2" @default.
• W3048295649 countsByYear W30482956492021 @default.
• W3048295649 countsByYear W30482956492022 @default.
• W3048295649 crossrefType "journal-article" @default.
• W3048295649 hasAuthorship W3048295649A5030878839 @default.
• W3048295649 hasAuthorship W3048295649A5087985917 @default.
• W3048295649 hasBestOaLocation W30482956492 @default.
• W3048295649 hasConcept C111472728 @default.
• W3048295649 hasConcept C112505250 @default.
• W3048295649 hasConcept C11413529 @default.
• W3048295649 hasConcept C120314980 @default.
• W3048295649 hasConcept C121332964 @default.
• W3048295649 hasConcept C138885662 @default.
• W3048295649 hasConcept C151319957 @default.
• W3048295649 hasConcept C151730666 @default.
• W3048295649 hasConcept C168167062 @default.
• W3048295649 hasConcept C189950617 @default.
• W3048295649 hasConcept C2524010 @default.
• W3048295649 hasConcept C2776036281 @default.
• W3048295649 hasConcept C2779343474 @default.
• W3048295649 hasConcept C2780586882 @default.
• W3048295649 hasConcept C31258907 @default.
• W3048295649 hasConcept C33923547 @default.
• W3048295649 hasConcept C41008148 @default.
• W3048295649 hasConcept C48103436 @default.
• W3048295649 hasConcept C80444323 @default.
• W3048295649 hasConcept C86803240 @default.
• W3048295649 hasConcept C97355855 @default.
• W3048295649 hasConceptScore W3048295649C111472728 @default.
• W3048295649 hasConceptScore W3048295649C112505250 @default.
• W3048295649 hasConceptScore W3048295649C11413529 @default.
• W3048295649 hasConceptScore W3048295649C120314980 @default.
• W3048295649 hasConceptScore W3048295649C121332964 @default.
• W3048295649 hasConceptScore W3048295649C138885662 @default.
• W3048295649 hasConceptScore W3048295649C151319957 @default.
• W3048295649 hasConceptScore W3048295649C151730666 @default.
• W3048295649 hasConceptScore W3048295649C168167062 @default.
• W3048295649 hasConceptScore W3048295649C189950617 @default.
• W3048295649 hasConceptScore W3048295649C2524010 @default.
• W3048295649 hasConceptScore W3048295649C2776036281 @default.
• W3048295649 hasConceptScore W3048295649C2779343474 @default.
• W3048295649 hasConceptScore W3048295649C2780586882 @default.
• W3048295649 hasConceptScore W3048295649C31258907 @default.
• W3048295649 hasConceptScore W3048295649C33923547 @default.
• W3048295649 hasConceptScore W3048295649C41008148 @default.
• W3048295649 hasConceptScore W3048295649C48103436 @default.
• W3048295649 hasConceptScore W3048295649C80444323 @default.
• W3048295649 hasConceptScore W3048295649C86803240 @default.
• W3048295649 hasConceptScore W3048295649C97355855 @default.
• W3048295649 hasFunder F4320334079 @default.
• W3048295649 hasLocation W30482956491 @default.
• W3048295649 hasLocation W30482956492 @default.
• W3048295649 hasLocation W30482956493 @default.
• W3048295649 hasLocation W30482956494 @default.
• W3048295649 hasLocation W30482956495 @default.
• W3048295649 hasOpenAccess W3048295649 @default.
• W3048295649 hasPrimaryLocation W30482956491 @default.
• W3048295649 hasRelatedWork W2042919702 @default.
• W3048295649 hasRelatedWork W2107934344 @default.
• W3048295649 hasRelatedWork W2116677773 @default.
• W3048295649 hasRelatedWork W2150611273 @default.
• W3048295649 hasRelatedWork W2155261584 @default.
• W3048295649 hasRelatedWork W2584231425 @default.
• W3048295649 hasRelatedWork W2945653898 @default.
• W3048295649 hasRelatedWork W3112010324 @default.
• W3048295649 hasRelatedWork W4207086172 @default.
• W3048295649 hasRelatedWork W4225981436 @default.
• W3048295649 hasVolume "279" @default.
• W3048295649 isParatext "false" @default.
• W3048295649 isRetracted "false" @default.

• next