3516 search results - page 426 / 704 » Integrating Security Modeling into Embedded System Design |
140
click to vote
FORTE
2004
15 years 6 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
144
click to vote
HOTI
2008
IEEE
15 years 11 months ago
2008
IEEE
Much of high performance technical computing has moved from shared memory architectures to message based cluster systems. The development and wide adoption of the MPI parallel pro...
138
click to vote
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
115
click to vote
HAIS
2009
Springer
15 years 9 months ago
2009
Springer
A local Spanish company that produces electric heaters needs an energy saving device to be integrated with the heaters. It was proven that a hybrid artificial intelligent systems (...
157
click to vote
SRDS
2008
IEEE
15 years 11 months ago
2008
IEEE
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...