15644 search results - page 333 / 3129 » Brittle System Analysis |
126
Voted
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
258
click to vote
VALUETOOLS
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...
153
Voted
LCPC
2005
Springer
16 years 1 months ago
2005
Springer
190
click to vote
FOSSACS
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...