5326 search results - page 42 / 1066 » On what we can ensure |
108
Voted
ECSA
2010
Springer
15 years 23 days ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
KR
1989
Springer
15 years 4 months ago
1989
Springer
In this paper I argue that we do not understand the process of default reasoning. A number of examples are given which serve to distinguish di erent default reasoning systems. It ...
106
Voted
COMPLEXITY
2007
15 years 17 days ago
2007
Distributed computing systems are becoming bigger and more complex. While the complexity of large-scale distributed systems has been acknowledged to be an important challenge, the...
103
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
130
click to vote
DAWAK
2006
Springer
15 years 4 months ago
2006
Springer
Though in most data warehousing applications no relevance is given to the time when events are recorded, some domains call for a different behavior. In particular, whenever late re...