17082 search results - page 3070 / 3417 » Abstractions for Mobile Computation |
185
click to vote
ACNS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Statistical Saturation Attacks have been introduced and applied to the block cipher PRESENT at CT-RSA 2009. In this paper, we consider their natural extensions. First, we...
183
Voted
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...
223
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...
182
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...
173
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...