3516 search results - page 167 / 704 » Integrating Security Modeling into Embedded System Design |
139
click to vote
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
148
Voted
CASSIS
2005
Springer
15 years 9 months ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
116
click to vote
MATA
2004
Springer
15 years 8 months ago
2004
Springer
Mobile agents are software entities consisting of code, data and state that can migrate autonomously from host to host executing their code. Unfortunately, security issues restrict...
123
click to vote
APSEC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
136
click to vote
CASES
2010
ACM
15 years 24 days ago
2010
ACM
3-D circuit-level integration is a chip fabrication technique in which two or more dies are stacked and combined into a single circuit through the use of vertical electroconductiv...