3815 search results - page 163 / 763 » An Implementation of Session Types |
132
click to vote
LOPSTR
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
127
Voted
ICMCS
1996
IEEE
15 years 7 months ago
1996
IEEE
The most notable characteristic of continuous-media data is the existence of timing constraints. To handle such data appropriately, some system support for resource management and...
114
Voted
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
The paper presents a synthesis approach for pipelinelike controller structures. These structures allow to implement a built-in self-test in two sessions without any extra test reg...
131
Voted
INFOCOM
1994
IEEE
15 years 7 months ago
1994
IEEE
A n eficient fair queueing scheme which is feasible for broadband implementation is proposed and its performance is analyzed. We define fairness in a selfcontained manner, elimina...
129
Voted
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communic...