100 search results - page 15 / 20 » Static Analysis of Non-interference in Expressive Low-Level ... |
MODELS
2010
Springer
14 years 9 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
APLAS
2004
ACM
15 years 4 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
POPL
2012
ACM
13 years 6 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
131
Voted
POPL
2012
ACM
13 years 6 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
105
click to vote
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...