12981 search results - page 2348 / 2597 » Model Checking (Abstract) |
144
click to vote
ASIACRYPT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Public-key encryption schemes rely for their IND-CPA security on per-message fresh randomness. In practice, randomness may be of poor quality for a variety of reasons, le...
130
click to vote
AFRICACRYPT
2010
Springer
15 years 7 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...
126
click to vote
AI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Two novel Natural Language Processing (NLP) classification techniques are applied to the analysis of corporate annual reports in the task of financial forecasting. The ...
149
click to vote
ALGOSENSORS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Delay (or disruption) tolerant sensor networks may be modeled as Markovian evolving graphs [1]. We present experimental evidence showing that considering multiple (possib...
141
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— The paper investigates theoretical issues in applying the universal swarming technique to efficient content distribution. In a swarming session, a file is distributed...