12981 search results - page 2455 / 2597 » Model Checking and Abstraction |
173
Voted
CRYPTO
2009
Springer
16 years 10 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...
145
click to vote
ECSQARU
2009
Springer
16 years 10 days 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 ...
163
click to vote
ERSHOV
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
156
click to vote
ESA
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. The throughput capacity of arbitrary wireless networks under the physical Signal to Interference Plus Noise Ratio (SINR) model has received a greater deal of attention in...
120
click to vote
ESWS
2009
Springer
16 years 10 days ago
2009
Springer
Statistical data is present everywhere—from governmental bodies to economics, from life-science to industry. With the rise of the Web of Data, the need for sharing, accessing, an...