2436 search results - page 406 / 488 » Comonadic Notions of Computation |
190
Voted
SACMAT
2006
ACM
16 years 2 days ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
160
click to vote
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
We wish to endow the manifold M of smooth curves in lRn with a Riemannian metric that allows us to treat continuous morphs (homotopies) between two curves c0 and c1 as trajectorie...
159
click to vote
PPOPP
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
159
click to vote
CCA
2005
Springer
15 years 11 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
158
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...