2272 search results - page 230 / 455 » A Calculus for |
147
Voted
ICCL
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
139
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...
123
click to vote
ESORICS
2008
Springer
15 years 6 months ago
2008
Springer
In authorization, there is often a wish to shift the burden of proof to those making requests, since they may have more resources and more specific knowledge to construct the requi...
130
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...
133
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...