501 search results - page 100 / 101 » SoSPa: A system of Security design Patterns for systematical... |
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
EUROSYS
2008
ACM
14 years 2 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
EUROSYS
2007
ACM
14 years 2 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
VEE
2009
ACM
14 years 11 days ago
2009
ACM
Runtime monitoring support serves as a foundation for the important tasks of providing security, performing debugging, and improving performance of applications. Often runtime mon...
OOPSLA
2005
Springer
13 years 11 months ago
2005
Springer
Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...