9325 search results - page 1788 / 1865 » The decentralized implementability problem |
116
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
128
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...
132
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Online privacy is an increasingly important problem, as many services are now offered in a digital form. Privacy (or the lack thereof) is of a special concern in subscriptions to ...
123
click to vote
CGO
2008
IEEE
15 years 5 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...
128
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
The need for high performance and throughput Question Answering (QA) systems demands for their migration to distributed environments. However, even in such cases it is necessary t...