5353 search results - page 680 / 1071 » Modelling Contexts in the Or-BAC Model |
241
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
265
click to vote
ALDT
2011
Springer
14 years 7 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...
193
click to vote
IACR
2011
14 years 7 months ago
2011
With the gaining popularity of remote storage (e.g. in the Cloud), we consider the setting where a small, protected local machine wishes to access data on a large, untrusted remot...
289
click to vote
ISCA
2012
IEEE
13 years 10 months ago
2012
IEEE
A significant portion of the energy dissipated in modern integrated circuits is consumed by the overhead associated with timing guardbands that ensure reliable execution. Timing ...
298
click to vote
VLDB
2007
ACM
16 years 8 months ago
2007
ACM
Although the presence of a schema enables many optimizations for operations on XML documents, recent studies have shown that many XML documents in practice either do not refer to ...