3688 search results - page 467 / 738 » Static analysis of aspects |
186
click to vote
IEEEPACT
2005
IEEE
16 years 10 days ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
198
click to vote
SAC
2005
ACM
16 years 9 days ago
2005
ACM
In this paper we present an investigation into the run-time behaviour of objects in Java programs, using specially adapted coupling metrics. We identify objects from the same clas...
166
click to vote
SIGIR
2005
ACM
16 years 9 days ago
2005
ACM
A query independent feature, relating perhaps to document content, linkage or usage, can be transformed into a static, per-document relevance weight for use in ranking. The challe...
163
click to vote
VLDB
2004
ACM
16 years 2 days ago
2004
ACM
We introduce an auditing framework for determining whether a database system is adhering to its data disclosure policies. Users formulate audit expressions to specify the (sensiti...
198
click to vote
CSFW
2003
IEEE
16 years 1 days ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...