3688 search results - page 672 / 738 » Static analysis of aspects |
110
click to vote
SAS
2009
Springer
16 years 13 days ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
102
click to vote
KDD
2009
ACM
16 years 13 days ago
2009
ACM
We present a new approach to large-scale graph mining based on so-called backbone refinement classes. The method efficiently mines tree-shaped subgraph descriptors under minimum f...
CHI
2007
ACM
16 years 8 days ago
2007
ACM
A common video surveillance task is to keep track of people moving around the space being monitored. It is often difficult to track activity between cameras because locations such...
215
click to vote
POPL
2006
ACM
16 years 6 days ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
227
click to vote
POPL
2001
ACM
16 years 6 days ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...