16616 search results - page 2934 / 3324 » Extending Extended Vacuity |
187
Voted
COSIT
2009
Springer
16 years 1 months 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...
213
Voted
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
We study the design of cryptographic primitives resilient to key-leakage attacks, where an attacker can repeatedly and adaptively learn information about the secret key, subject o...
208
Voted
CRYPTO
2009
Springer
16 years 1 months 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...
154
Voted
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model-based development is supposed to improve the development efficiency by raising the abstraction level and generating applications instead of manually coding the appl...
174
Voted
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...