Preserving Global Consistency for Dynamic Reconfiguration.
Zhikun ZhaoWei LiPublished in: CATA (2007)
Keyphrases
- global consistency
- dynamic reconfiguration
- globally consistent
- software systems
- application specific
- software architecture
- quality of service
- path consistency
- set intersection
- convex constraints
- general purpose
- consistency checking
- temporal constraints
- dynamic behavior
- tractable subclasses
- database
- response time
- case study
- artificial intelligence
- real world
- real time