2249 search results - page 426 / 450 » ILP-based engineering change |
SOSP
2009
ACM
14 years 6 months ago
2009
ACM
Databases have achieved orders-of-magnitude performance improvements by changing the layout of stored data – for instance, by arranging data in columns or compressing it before ...
SOSP
2009
ACM
14 years 6 months ago
2009
ACM
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Testing a GUI’s visual behavior typically requires human testers to interact with the GUI and to observe whether the expected results of interaction are presented. This paper pr...
ACSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
—Access control models describe frameworks that dictate how subjects (e.g. users) access resources. In the Role-Based Access Control (RBAC) model access to resources is based on ...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...