1134 search results - page 32 / 227 » Using Constraints with Action Language for Model Evolution |
131
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
117
Voted
COMPSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...
135
click to vote
TSE
2008
15 years 2 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
107
Voted
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
We present a 3D brain MRI segmentation method in which a high resolution label image evolves under the influence of multiple constraints. The constraints are expressed in a versat...
135
click to vote
IFIP
1993
Springer
15 years 6 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...