Matches in SemOpenAlex for { <https://semopenalex.org/work/W2587948280> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2587948280 endingPage "379" @default.
- W2587948280 startingPage "367" @default.
- W2587948280 abstract "Systems need to be updated to last for a long time in a dynamic environment, and to cope with changing requirements. It is important for updates to preserve the desirable properties of the system under update, while possibly enforcing new ones. Here we consider a simple yet general update mechanism, which replaces a component of the system with a new one. The context, i.e., the rest of the system, remains unchanged. 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 which preserve 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." @default.
- W2587948280 created "2017-02-24" @default.
- W2587948280 creator A5030878839 @default.
- W2587948280 creator A5087985917 @default.
- W2587948280 date "2017-01-01" @default.
- W2587948280 modified "2023-10-16" @default.
- W2587948280 title "Most General Property-Preserving Updates" @default.
- W2587948280 cites W1508811488 @default.
- W2587948280 cites W1548500263 @default.
- W2587948280 cites W1553374920 @default.
- W2587948280 cites W1595972517 @default.
- W2587948280 cites W1866405390 @default.
- W2587948280 cites W1979914341 @default.
- W2587948280 cites W1988680012 @default.
- W2587948280 cites W1999392360 @default.
- W2587948280 cites W2008992434 @default.
- W2587948280 cites W2032287150 @default.
- W2587948280 cites W2041701185 @default.
- W2587948280 cites W2046473642 @default.
- W2587948280 cites W2049321516 @default.
- W2587948280 cites W2139842876 @default.
- W2587948280 cites W2178626170 @default.
- W2587948280 cites W2181687669 @default.
- W2587948280 cites W2486836532 @default.
- W2587948280 cites W2963418352 @default.
- W2587948280 cites W3136509408 @default.
- W2587948280 cites W6269798 @default.
- W2587948280 cites W1569115119 @default.
- W2587948280 doi "https://doi.org/10.1007/978-3-319-53733-7_27" @default.
- W2587948280 hasPublicationYear "2017" @default.
- W2587948280 type Work @default.
- W2587948280 sameAs 2587948280 @default.
- W2587948280 citedByCount "0" @default.
- W2587948280 crossrefType "book-chapter" @default.
- W2587948280 hasAuthorship W2587948280A5030878839 @default.
- W2587948280 hasAuthorship W2587948280A5087985917 @default.
- W2587948280 hasBestOaLocation W25879482802 @default.
- W2587948280 hasConcept C111472728 @default.
- W2587948280 hasConcept C112505250 @default.
- W2587948280 hasConcept C120314980 @default.
- W2587948280 hasConcept C121332964 @default.
- W2587948280 hasConcept C138885662 @default.
- W2587948280 hasConcept C151319957 @default.
- W2587948280 hasConcept C151730666 @default.
- W2587948280 hasConcept C168167062 @default.
- W2587948280 hasConcept C189950617 @default.
- W2587948280 hasConcept C2524010 @default.
- W2587948280 hasConcept C2776036281 @default.
- W2587948280 hasConcept C2779343474 @default.
- W2587948280 hasConcept C2780586882 @default.
- W2587948280 hasConcept C31258907 @default.
- W2587948280 hasConcept C33923547 @default.
- W2587948280 hasConcept C41008148 @default.
- W2587948280 hasConcept C80444323 @default.
- W2587948280 hasConcept C86803240 @default.
- W2587948280 hasConcept C97355855 @default.
- W2587948280 hasConceptScore W2587948280C111472728 @default.
- W2587948280 hasConceptScore W2587948280C112505250 @default.
- W2587948280 hasConceptScore W2587948280C120314980 @default.
- W2587948280 hasConceptScore W2587948280C121332964 @default.
- W2587948280 hasConceptScore W2587948280C138885662 @default.
- W2587948280 hasConceptScore W2587948280C151319957 @default.
- W2587948280 hasConceptScore W2587948280C151730666 @default.
- W2587948280 hasConceptScore W2587948280C168167062 @default.
- W2587948280 hasConceptScore W2587948280C189950617 @default.
- W2587948280 hasConceptScore W2587948280C2524010 @default.
- W2587948280 hasConceptScore W2587948280C2776036281 @default.
- W2587948280 hasConceptScore W2587948280C2779343474 @default.
- W2587948280 hasConceptScore W2587948280C2780586882 @default.
- W2587948280 hasConceptScore W2587948280C31258907 @default.
- W2587948280 hasConceptScore W2587948280C33923547 @default.
- W2587948280 hasConceptScore W2587948280C41008148 @default.
- W2587948280 hasConceptScore W2587948280C80444323 @default.
- W2587948280 hasConceptScore W2587948280C86803240 @default.
- W2587948280 hasConceptScore W2587948280C97355855 @default.
- W2587948280 hasLocation W25879482801 @default.
- W2587948280 hasLocation W25879482802 @default.
- W2587948280 hasLocation W25879482803 @default.
- W2587948280 hasOpenAccess W2587948280 @default.
- W2587948280 hasPrimaryLocation W25879482801 @default.
- W2587948280 hasRelatedWork W1038880 @default.
- W2587948280 hasRelatedWork W1572703152 @default.
- W2587948280 hasRelatedWork W1582517610 @default.
- W2587948280 hasRelatedWork W1989095436 @default.
- W2587948280 hasRelatedWork W2091821831 @default.
- W2587948280 hasRelatedWork W2104383147 @default.
- W2587948280 hasRelatedWork W2113556263 @default.
- W2587948280 hasRelatedWork W2364921833 @default.
- W2587948280 hasRelatedWork W2587948280 @default.
- W2587948280 hasRelatedWork W2610259635 @default.
- W2587948280 isParatext "false" @default.
- W2587948280 isRetracted "false" @default.
- W2587948280 magId "2587948280" @default.
- W2587948280 workType "book-chapter" @default.