5415 search results - page 278 / 1083 » The Implementation of Functional Programming Languages |
102
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
113
click to vote
ISSAC
1995
Springer
15 years 5 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
104
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
Users with several devices need a convenient mechanism to transfer running service sessions from one device to another device. This paper proposes a framework that allows session m...
124
click to vote
ITICSE
2006
ACM
15 years 7 months ago
2006
ACM
Current literature states that the undergraduate curriculum can no longer afford the luxury of a traditional compiler construction course. Nevertheless, there is an increasing ne...
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...