870 search results - page 82 / 174 » The failure detector abstraction |
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
GREC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. GREC’05 marked the 10th anniversary of the series of international workshops on graphics recognition, for which the first edition was held in Penn State in 1995. At th...
IPTPS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. CorSSO is a distributed service for authentication in networks. It allows application servers to delegate client identity checking to combinations of authentication serve...
APLAS
2007
ACM
14 years 1 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
ASPDAC
2005
ACM
13 years 11 months ago
2005
ACM
Abstract— This paper presents a post-route gate-sizing algorithm for coupling-noise reduction that constrains the yield loss under process variations. Algorithms for coupling-noi...