1454 search results - page 278 / 291 » Stateful traits and their formalization |
STACS
1999
Springer
15 years 5 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...
111
Voted
SP
1998
IEEE
15 years 5 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...
105
click to vote
ATAL
2007
Springer
15 years 4 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...
117
Voted
DOCENG
2007
ACM
15 years 4 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 ...
111
click to vote
ESORICS
2007
Springer
15 years 4 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...