11603 search results - page 561 / 2321 » Securing Embedded Systems |
203
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
137
click to vote
USS
2008
15 years 9 months ago
2008
Implementation-level vulnerabilities are a persistent threat to the security of computing systems. We propose using the results of partially-successful verification attempts to pl...
226
click to vote
MM
2003
ACM
16 years 14 days ago
2003
ACM
In this demonstration we present the ARMS system which enables secure and adaptive rich media streaming to a large-scale, heterogeneous client population. The ARMS system dynamica...
196
click to vote
CAISE
2004
Springer
16 years 18 days ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
263
click to vote
CODES
2003
IEEE
16 years 15 days ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...