3815 search results - page 195 / 763 » An Implementation of Session Types |
ISM
2008
IEEE
14 years 2 months ago
2008
IEEE
As Internet telephony systems continue to replace existing Public Switched Telephone Network systems, proxy servers running the Session Initiation Protocol (SIP) will continue to ...
AIMSA
2008
Springer
14 years 2 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...
DSN
2007
IEEE
14 years 2 months ago
2007
IEEE
HTTP cookies have been widely used for maintaining session states, personalizing, authenticating, and tracking user behaviors. Despite their importance and usefulness, cookies hav...
CHES
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. A5/2 is a synchronous stream cipher that is used for protecting GSM communication. Recently, some powerful attacks [2,10] on A5/2 have been proposed. In this contribution...
ECOWS
2007
Springer
14 years 2 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...