6054 search results - page 74 / 1211 » Implementation of Andorra-based Languages |
IFIP
2009
Springer
14 years 3 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...
EUROMICRO
2006
IEEE
14 years 3 months ago
2006
IEEE
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...
ITICSE
2006
ACM
14 years 3 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...
ITCC
2005
IEEE
14 years 2 months ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
ICALP
2005
Springer
14 years 2 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...