Pages that link to "Item:Q608354"
From MaRDI portal
The following pages link to Modeling dynamic reconfigurations in Reo using high-level replacement systems (Q608354):
Displayed 8 items.
- Domain-independent planning for services in uncertain and dynamic environments (Q286080) (← links)
- Configuration logics: modeling architecture styles (Q347359) (← links)
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors (Q1651010) (← links)
- Static and dynamic property-preserving updates (Q2042718) (← links)
- Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) (← links)
- Estimating costs of multi-component enterprise applications (Q2322308) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)