1124 search results - page 15 / 225 » Refined quorum systems |
118
click to vote
ESORICS
2002
Springer
16 years 1 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
112
click to vote
FMCO
2009
Springer
14 years 11 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
106
click to vote
FUIN
2002
15 years 1 months ago
2002
Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics refinement is based on simulations between labelled tran...
143
Voted
COMPSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
119
click to vote
AND
2009
14 years 11 months ago
2009
Developing better systems for document image analysis requires understanding errors, their sources, and their effects. The interactions between various processing steps are comple...