2673 search results - page 409 / 535 » Guided Static Analysis |
130
click to vote
SIGIR
2005
ACM
15 years 10 months 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...
124
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veri...
126
Voted
VLDB
2004
ACM
15 years 9 months 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...
147
click to vote
CSFW
2003
IEEE
15 years 9 months 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...
161
click to vote
SENSYS
2003
ACM
15 years 9 months ago
2003
ACM
In the absence of location errors, geographic routing - using a combination of greedy forwarding and face routing - has been shown to work correctly and efficiently. The effects o...