8499 search results - page 1612 / 1700 » cans 2009 |
177
click to vote
COSIT
2009
Springer
16 years 29 days ago
2009
Springer
Movement patterns of individual entities at the geographic scale are becoming a prominent research focus in spatial sciences. One pertinent question is how cognitive and formal cha...
159
click to vote
CPAIOR
2009
Springer
16 years 29 days ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
146
click to vote
CPAIOR
2009
Springer
16 years 29 days ago
2009
Springer
The interdiction problem arises in a variety of areas including military logistics, infectious disease control, and counter-terrorism. In the typical formulation of network interdi...
215
click to vote
CRYPTO
2009
Springer
16 years 29 days ago
2009
Springer
We present a new methodology for proving security of encryption systems using what we call Dual System Encryption. Our techniques result in fully secure Identity-Based Encryption ...
185
click to vote
CRYPTO
2009
Springer
16 years 29 days ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...