3815 search results - page 163 / 763 » An Implementation of Session Types |
LOPSTR
2001
Springer
14 years 19 days 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...
ICMCS
1996
IEEE
14 years 11 days 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...
EURODAC
1994
IEEE
14 years 10 days 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...
INFOCOM
1994
IEEE
14 years 10 days 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...
ATVA
2007
Springer
14 years 6 days 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...