2043 search results - page 163 / 409 » Reasoning About Security Models |
106
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
IJCAI
1997
15 years 2 months ago
1997
Motivated by the need to reason about utilities, and inspired by the success of bayesian networks in representing and reasoning about probabilities, we introduce the notion of uti...
102
click to vote
WCRE
1999
IEEE
15 years 5 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
107
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
106
click to vote
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
Volunteer Computing is becoming a new paradigm not only for the Computational Grid, but also for institutions using production-level Data Grids because of the enormous storage pot...