3815 search results - page 13 / 763 » An Implementation of Session Types |
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— In the current Internet, many applications start sessions with multiple connections to multiple servers in order to expedite the reception of data. One may argue that such aggr...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
An experienced user of the Twiddler, a one?handed chording keyboard, averages speeds of 60 words per minute with letter?by?letter typing of standard test phrases. This fast typing...
FMCO
2008
Springer
13 years 9 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
JCM
2006
13 years 7 months ago
2006
Session Initiation Protocol (SIP) is a new signaling protocol designed to establish multimedia sessions in telecommunication networks. In this paper, we suggest the extension of SI...