3006 search results - page 404 / 602 » Overview |
194
click to vote
VIZSEC
2004
Springer
15 years 10 months ago
2004
Springer
The number of attacks against large computer systems is currently growing at a rapid pace. Despite the best efforts of security analysts, large organizations are having trouble k...
138
Voted
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
The Database Tuning Advisor (DTA) that is part of Microsoft SQL Server 2005 is an automated physical database design tool that significantly advances the state-of-the-art in sever...
125
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
129
Voted
CLADE
2003
IEEE
15 years 10 months ago
2003
IEEE
The complexity of computational grid applications and their environments has been increased due to the heterogeneity of resources; complexity, continuous changes of the applicatio...
152
click to vote
CSFW
2003
IEEE
15 years 10 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...