3765 search results - page 158 / 753 » Formal Methods for Systems Engineering Behavior Models |
211
click to vote
CDVE
2007
Springer
16 years 20 days ago
2007
Springer
Nowadays, collaborative product development has become a strategic necessity to develop high quality products at low cost and with quick response time to market demand. Past decade...
154
click to vote
EWSA
2005
Springer
16 years 19 hour ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
179
click to vote
RTCSA
2008
IEEE
16 years 26 days ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
202
click to vote
ISAMI
2010
15 years 4 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
152
click to vote
COMPSAC
2008
IEEE
16 years 29 days ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...