591 search results - page 106 / 119 » Embracing policy engineering |
79
Voted
WOSP
2004
ACM
15 years 3 months ago
2004
ACM
Performance characteristics, such as response time, throughput and scalability, are key quality attributes of distributed applications. Current practice, however, rarely applies s...
102
click to vote
CCS
2004
ACM
15 years 3 months ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
PLDI
2003
ACM
15 years 2 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
SP
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...