911 search results - page 145 / 183 » The Semantics of Event Prevention |
TOPLAS
2008
14 years 10 months ago
2008
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
TKDE
2002
14 years 9 months ago
2002
Preventive measures sometimes fail to deflect malicious attacks. In this paper, we adopt an information warfare perspective, which assumes success by the attacker in achieving part...
102
click to vote
CACM
2010
14 years 7 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
96
Voted
ENTCS
2010
14 years 7 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
106
Voted
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper, we study the problem of fine-grained image categorization. The goal of our method is to explore fine image statistics and identify the discriminative image patche...