14779 search results - page 2700 / 2956 » On Ultrametric Algorithmic Information |
184
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
165
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
Side-channel attacks are a serious threat to implementations of cryptographic algorithms. Secret information is recovered based on power consumption, electromagnetic emanations or ...
182
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
With ever growing competition in telecommunications markets, operators have to increasingly rely on business intelligence to offer the right incentives to their customers. Toward ...
185
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
173
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...