191 search results - page 31 / 39 » Specifying and Reasoning About Dynamic Access-Control Polici... |
121
click to vote
CCS
2010
ACM
14 years 11 months ago
2010
ACM
The dynamic nature of JavaScript web applications has given rise to the possibility of privacy violating information flows. We present an empirical study of the prevalence of such...
97
Voted
KBSE
1999
IEEE
15 years 3 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
111
click to vote
AIPS
2009
15 years 22 days ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
IUI
2006
ACM
15 years 5 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
109
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...