4187 search results - page 73 / 838 » A Taxonomy of Model Transformation |
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
ER
2007
Springer
13 years 12 months ago
2007
Springer
The health sector uses clinical guidelines as instruments for helping decision making. We are interested in the development of a ubiquitous decision support system (UDSS) for clini...
CAIP
2009
Springer
14 years 2 months ago
2009
Springer
Particle filtering of boundary points is a robust way to estimate lanes. This paper introduces a new lane model in correspondence to this particle filterbased approach, which is ...
EDOC
2003
IEEE
14 years 3 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...