113
click to vote
MODELS
9 years 8 months 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...
103
click to vote
MODELS
9 years 8 months 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 ...
92
Voted
MODELS
9 years 8 months 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...
MODELS
9 years 8 months 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...
90
Voted
MODELS
9 years 8 months ago
2015 Springer 
—Cloud computing, the architecture which shares dynamic heterogeneous characteristics in the cross-layer service composition, has affected traditional security, trust and privacy...
|
Natural Language Processing