299 search results - page 57 / 60 » Optimizing a policy authoring framework for security and pri... |
ESOP
2003
Springer
14 years 20 days ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
Content Extraction Signatures (CES) enable selective disclosure of verifiable content, provide privacy for blinded content, and enable the signer to specify the content the docume...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
People increasingly generate content on their mobile devices and upload it to third-party services such as Facebook and Google Latitude for sharing and backup purposes. Although t...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we discuss the use of Targeted Trajectory Distribution Markov Decision Processes (TTD-MDPs)—a variant of MDPs in which the goal is to realize a specified distrib...