1454 search results - page 278 / 291 » Stateful traits and their formalization |
161
click to vote
STACS
1999
Springer
15 years 10 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
167
click to vote
SP
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
153
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
176
click to vote
DOCENG
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present a document engineering environment for Clinical Guidelines (G-DEE), which are standardized medical documents developed to improve the quality of medical ...
163
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...