2954 search results - page 140 / 591 » Beyond |
138
click to vote
CONCUR
2005
Springer
15 years 11 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 ...
166
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not p...
107
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
– In this paper, we propose a method for extracting the spectral information of a multi-gigahertz jittery signal. This method may utilize existing on-chip single-shot period meas...
141
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Organizations often change their business processes. These changes lead to adjustments in the business process support (BPS) system. The impact of a change in a business process ma...
147
click to vote
CHES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A digit-serial, multiplier-accumulator based cryptographic coprocessor architecture is proposed, similar to fix-point DSP's with enhancements, supporting long modula...