1458 search results - page 200 / 292 » System Model-Based Definition of Modeling Language Semantics |
EDBTW
2006
Springer
14 years 1 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
DAGSTUHL
2007
13 years 11 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
ADAEUROPE
2005
Springer
14 years 3 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
IANDC
2006
13 years 10 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...