146
click to vote
MODELS
10 years 8 days ago
2015 Springer 
—We present IOPT-Tools, a tool framework for the development of digital controllers based on graphical executable models. The framework supports edition, simulation, verificatio...
129
click to vote
MODELS
10 years 8 days ago
2015 Springer 
Abstract—Model Management addresses the accidental complexity caused by the proliferation of models in software engineering. It provides a high-level view in which entire models ...
123
click to vote
MODELS
10 years 8 days ago
2015 Springer 
—This paper summarizes our research findings on optimizing the symbolic execution of evolving state machines using incremental analysis. I. PROBLEM AND MOTIVATION Model Driven E...
120
click to vote
MODELS
10 years 8 days ago
2015 Springer 
—None of the current plethora of meta-modelling tools includes a complete, explicit model of themselves. Such a model, a precise specification of the tool’s syntax and semanti...
119
click to vote
MODELS
10 years 8 days ago
2015 Springer 
Abstract—Legal policy simulation is an important decisionsupport tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the la...
|
Natural Language Processing