1613 search results - page 279 / 323 » Model-Driven Constraint Engineering |
185
click to vote
SIES
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
142
click to vote
IJISMD
2010
15 years 17 days ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
207
Voted
TII
2011
14 years 10 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
128
click to vote
WWW
2011
ACM
14 years 10 months ago
2011
ACM
While computers and Internet access have growing penetration amongst schools in the developing world, intermittent connectivity and limited bandwidth often prevent them from being...
115
click to vote
TASLP
2010
14 years 10 months ago
2010
We consider the problem of extracting the source signals from an under-determined convolutive mixture assuming known mixing filters. State-of-the-art methods operate in the time-fr...