616 search results - page 35 / 124 » Component-Based Design of Embedded Software: An Analysis of ... |
130
Voted
SNPD
2008
15 years 2 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
104
click to vote
LCTRTS
2001
Springer
15 years 5 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
103
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
The evolution of the Web requires to consider an increasing number of context-dependency issues. Therefore, in our research we focus on how to extend a Web application with additi...
130
Voted
AES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. When cryptosystems are being used in real life, hardware and software implementations themselves present a fruitful field for attacks. Side channel attacks exploit infor...
103
click to vote
DAC
2005
ACM
16 years 1 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...