565 search results - page 109 / 113 » A logic for authorization provenance |
IDEAS
2003
IEEE
14 years 1 months ago
2003
IEEE
The objective of this paper is to investigate the problems related to the extensional integration of information sources. In particular, we propose an approach for managing incons...
ITCC
2003
IEEE
14 years 1 months ago
2003
IEEE
We present an efficient algorithm called the Quadtree Heuristic for identifying a list of similar terms for each unique term in a large document collection. Term similarity is de...
MM
2003
ACM
14 years 1 months ago
2003
ACM
Real-time content-based access to live video data requires content analysis applications that are able to process the video data at least as fast as the video data is made availab...
CF
2010
ACM
14 years 1 months ago
2010
ACM
Per-core local (scratchpad) memories allow direct inter-core communication, with latency and energy advantages over coherent cache-based communication, especially as CMP architect...
FTRTFT
1998
Springer
14 years 23 days ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...