3815 search results - page 61 / 763 » An Implementation of Session Types |
109
Voted
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
112
Voted
HT
2000
ACM
15 years 7 months ago
2000
ACM
Authoring hypertext structures has always been a difficult task. The cognitive overhead problem, well known from authors when creating structured hyperdocuments, has been tackled ...
96
Voted
DAGSTUHL
2007
15 years 4 months ago
2007
Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO modelling. Unfortunately, it seems that the literature is not...
144
Voted
COMCOM
2007
15 years 2 months ago
2007
— Voice over IP (VoIP) services based on the Session Initiation Protocol (SIP) gain ground as compared to other protocols like MGCP or H.323. However, the open SIP architecture c...
190
Voted
PEPM
2007
ACM
17 years 21 days ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...