732 search results - page 3 / 147 » A Formal Model of Provenance in Distributed Systems |
CCS
2010
ACM
14 years 4 days ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
FM
2006
Springer
13 years 9 months ago
2006
Springer
EUSFLAT
2003
13 years 6 months ago
2003
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...
SIGMOD
2010
ACM
13 years 10 months ago
2010
ACM
Many advanced data management operations (e.g., incremental maintenance, trust assessment, debugging schema mappings, keyword search over databases, or query answering in probabil...