2880 search results - page 435 / 576 » Types are calling conventions |
186
click to vote
CTRSA
2006
Springer
15 years 10 months ago
2006
Springer
Bellare, Canetti and Krawczyk proposed a security model (BCK-model) for authentication and key exchange protocols in 1998. The model not only reasonably captures the power of pract...
203
click to vote
EUROPKI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Key agreement protocols are a fundamental building block for ensuring authenticated and private communications between two parties over an insecure network. This paper fo...
152
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
The boundary labeling problem was recently introduced in [5] as a response to the problem of labeling dense point sets with large labels. In boundary labeling, we are given a recta...
146
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
201
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...