365 search results - page 53 / 73 » Requirements Specifications Checking of Embedded Real-Time S... |
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
FOAL
2008
ACM
13 years 9 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
The growing number of instances of breaches in information security in the last few years has created a compelling case for efforts towards secure electronic systems. Embedded sys...
WOSS
2004
ACM
14 years 1 months ago
2004
ACM
Self-managed software requires monitoring and code changes to an executing program. One technology that enables such self management is software dynamic translation (SDT), which a...
RTS
2006
13 years 7 months ago
2006
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...