739 search results - page 73 / 148 » A security framework for the analysis and design of software... |
RTAS
2005
IEEE
14 years 2 months ago
2005
IEEE
During real-world design of embedded real-time systems, it cannot be expected that all performance data required for scheduling analysis is fully available up front. In such situa...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Providing end-to-end data security, i.e., data confidentiality, authenticity, and availability, in wireless sensor networks (WSNs) is a non-trivial task. In addition t...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
SIGOPS
2011
13 years 3 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
GD
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...