1613 search results - page 72 / 323 » Model-Driven Constraint Engineering |
175
click to vote
B
2007
Springer
16 years 10 days ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
167
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constrain...
181
click to vote
WOSP
2005
ACM
15 years 11 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
188
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
156
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
In recent years, Software-as-a-Service (SaaS) is gaining momentum with more and more successful adoptions. Several companies including some well known names have embraced this new...