15792 search results - page 2809 / 3159 » Computational Abstraction Steps |
181
click to vote
AFRICACRYPT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Proxy re-encryption (PRE) allows a semi-trusted proxy to convert a ciphertext originally intended for Alice into one encrypting the same plaintext for Bob. The proxy only...
222
click to vote
DASFAA
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. Continuous monitoring of spatial queries has received significant research attention in the past few years. In this paper, we propose two efficient algorithms for the con...
181
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
171
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
153
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— A design method is proposed for outputfeedback control of linear systems subject to state and control constraints, additive disturbances and measurement noise. First, n...