Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123145890> ?p ?o ?g. }
- W2123145890 abstract "In this paper we demonstrate how to use action systems to specify and refine self-adaptive systems. Focusing on the special case in which there is a fixed set of possible configurations, we use a recently-introduced synchronization operator to achieve separation of concerns between adaptation policy and steady-state system execution. The use of action systems permits the application of standard techniques for refinement to construct correct implementations from higher-level models. We illustrate the application of this idea to the problem of coping with dynamically-varying user requirements." @default.
- W2123145890 created "2016-06-24" @default.
- W2123145890 creator A5006379967 @default.
- W2123145890 creator A5045020317 @default.
- W2123145890 date "2006-10-04" @default.
- W2123145890 modified "2023-09-28" @default.
- W2123145890 title "Synchronized Architectures for Adaptive Systems" @default.
- W2123145890 cites W1480064110 @default.
- W2123145890 cites W1489503486 @default.
- W2123145890 cites W1511227926 @default.
- W2123145890 cites W1511826042 @default.
- W2123145890 cites W1541118615 @default.
- W2123145890 cites W1542464415 @default.
- W2123145890 cites W1985699615 @default.
- W2123145890 cites W2005952505 @default.
- W2123145890 cites W2033272857 @default.
- W2123145890 cites W2055402407 @default.
- W2123145890 cites W2100653580 @default.
- W2123145890 cites W2102296762 @default.
- W2123145890 cites W2103953153 @default.
- W2123145890 cites W2147196536 @default.
- W2123145890 cites W2150459152 @default.
- W2123145890 cites W2164416192 @default.
- W2123145890 cites W2165681774 @default.
- W2123145890 doi "https://doi.org/10.1109/compsac.2005.149" @default.
- W2123145890 hasPublicationYear "2006" @default.
- W2123145890 type Work @default.
- W2123145890 sameAs 2123145890 @default.
- W2123145890 citedByCount "1" @default.
- W2123145890 crossrefType "proceedings-article" @default.
- W2123145890 hasAuthorship W2123145890A5006379967 @default.
- W2123145890 hasAuthorship W2123145890A5045020317 @default.
- W2123145890 hasConcept C104317684 @default.
- W2123145890 hasConcept C115903868 @default.
- W2123145890 hasConcept C120314980 @default.
- W2123145890 hasConcept C120665830 @default.
- W2123145890 hasConcept C121332964 @default.
- W2123145890 hasConcept C127162648 @default.
- W2123145890 hasConcept C139807058 @default.
- W2123145890 hasConcept C154945302 @default.
- W2123145890 hasConcept C158448853 @default.
- W2123145890 hasConcept C17020691 @default.
- W2123145890 hasConcept C177264268 @default.
- W2123145890 hasConcept C185592680 @default.
- W2123145890 hasConcept C199360897 @default.
- W2123145890 hasConcept C26713055 @default.
- W2123145890 hasConcept C2778562939 @default.
- W2123145890 hasConcept C2780801425 @default.
- W2123145890 hasConcept C31258907 @default.
- W2123145890 hasConcept C41008148 @default.
- W2123145890 hasConcept C52970973 @default.
- W2123145890 hasConcept C55493867 @default.
- W2123145890 hasConcept C80444323 @default.
- W2123145890 hasConcept C86339819 @default.
- W2123145890 hasConceptScore W2123145890C104317684 @default.
- W2123145890 hasConceptScore W2123145890C115903868 @default.
- W2123145890 hasConceptScore W2123145890C120314980 @default.
- W2123145890 hasConceptScore W2123145890C120665830 @default.
- W2123145890 hasConceptScore W2123145890C121332964 @default.
- W2123145890 hasConceptScore W2123145890C127162648 @default.
- W2123145890 hasConceptScore W2123145890C139807058 @default.
- W2123145890 hasConceptScore W2123145890C154945302 @default.
- W2123145890 hasConceptScore W2123145890C158448853 @default.
- W2123145890 hasConceptScore W2123145890C17020691 @default.
- W2123145890 hasConceptScore W2123145890C177264268 @default.
- W2123145890 hasConceptScore W2123145890C185592680 @default.
- W2123145890 hasConceptScore W2123145890C199360897 @default.
- W2123145890 hasConceptScore W2123145890C26713055 @default.
- W2123145890 hasConceptScore W2123145890C2778562939 @default.
- W2123145890 hasConceptScore W2123145890C2780801425 @default.
- W2123145890 hasConceptScore W2123145890C31258907 @default.
- W2123145890 hasConceptScore W2123145890C41008148 @default.
- W2123145890 hasConceptScore W2123145890C52970973 @default.
- W2123145890 hasConceptScore W2123145890C55493867 @default.
- W2123145890 hasConceptScore W2123145890C80444323 @default.
- W2123145890 hasConceptScore W2123145890C86339819 @default.
- W2123145890 hasLocation W21231458901 @default.
- W2123145890 hasOpenAccess W2123145890 @default.
- W2123145890 hasPrimaryLocation W21231458901 @default.
- W2123145890 hasRelatedWork W142305101 @default.
- W2123145890 hasRelatedWork W1549417369 @default.
- W2123145890 hasRelatedWork W1551332717 @default.
- W2123145890 hasRelatedWork W1552435611 @default.
- W2123145890 hasRelatedWork W1996632489 @default.
- W2123145890 hasRelatedWork W2007491773 @default.
- W2123145890 hasRelatedWork W2102872432 @default.
- W2123145890 hasRelatedWork W2127669245 @default.
- W2123145890 hasRelatedWork W2130876362 @default.
- W2123145890 hasRelatedWork W2134604468 @default.
- W2123145890 hasRelatedWork W2144780749 @default.
- W2123145890 hasRelatedWork W2161894754 @default.
- W2123145890 hasRelatedWork W2540576502 @default.
- W2123145890 hasRelatedWork W2561987465 @default.
- W2123145890 hasRelatedWork W2585992407 @default.
- W2123145890 hasRelatedWork W2586449206 @default.
- W2123145890 hasRelatedWork W2884377853 @default.
- W2123145890 hasRelatedWork W1797852856 @default.
- W2123145890 hasRelatedWork W2098549968 @default.
- W2123145890 hasRelatedWork W2106092731 @default.
- W2123145890 isParatext "false" @default.