2486 search results - page 142 / 498 » A Type System for Computationally Secure Information Flow |
141
click to vote
DEBS
2010
ACM
15 years 28 days ago
2010
ACM
Mobile XSiena is a novel publish/subscribe platform which seeks to extend the XSiena content-based publish/subscribe system in order to support user mobility and create an experim...
116
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper investigates the general problem of performing key-value search at untrusted servers without loss of user privacy. Specifically, given key-value pairs from multiple ow...
115
click to vote
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
148
click to vote
CVPR
2010
IEEE
16 years 20 days ago
2010
IEEE
In this paper we investigate shape and motion retrieval in the context of multi-camera systems. We propose a new lowlevel analysis based on latent silhouette cues, particularly su...
118
click to vote
GECCO
2007
Springer
2007
Springer
Optimising the flow of experiments to a robot scientist with multi-objective evolutionary algorithms
15 years 10 months ago
A Robot Scientist is a physically implemented system that applies artificial intelligence to autonomously discover new knowledge through cycles of scientific experimentation. Ad...