19 search results - page 4 / 4 » Synthesizing Protection Monitors from Causal Structure |
TLDI
2010
ACM
14 years 3 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
CRV
2009
IEEE
14 years 1 months ago
2009
IEEE
An ongoing challenge in automatic sea-ice monitoring using synthetic aperture radar (SAR) is the automatic segmentation of SAR sea-ice images based on the underlying ice type. Giv...
PLDI
2009
ACM
14 years 1 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
VLDB
1999
ACM
13 years 11 months ago
1999
ACM
We describe the architecture of a hypertext resource discovery system using a relational database. Such a system can answer questions that combine page contents, metadata, and hyp...