1098 search results - page 160 / 220 » System safety as an emergent property in composite systems |
SP
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper describes the design, implementation and evaluation of Native Client, a sandbox for untrusted x86 native code. Native Client aims to give browser-based applications the...
ATVA
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
RTAS
2006
IEEE
14 years 2 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
WORDS
2005
IEEE
14 years 2 months ago
2005
IEEE
Writing a new scheduler and integrating it into an existing OS is a daunting task, requiring the understanding of multiple low-level kernel mechanisms. Indeed, implementing a new ...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...