Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems.
Nazareno AguirreT. S. E. MaibaumPublished in: Verification: Theory and Practice (2003)
Keyphrases
- temporal reasoning
- dynamic reconfiguration
- temporal information
- temporal constraints
- qualitative and quantitative
- uncertainty management
- application specific
- temporal knowledge
- distributed systems
- temporal constraint networks
- path consistency
- spatial reasoning
- constraint networks
- software systems
- software architecture
- complex systems
- event calculus
- complex event processing
- source code
- general purpose
- simple temporal
- high level