4722 search results - page 393 / 945 » Encoding Program Executions |
166
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
158
click to vote
SI3D
2005
ACM
16 years 7 days ago
2005
ACM
We present a novel real-time technique for computing inter-object ambient occlusion. For each occluding object, we precompute a field in the surrounding space that encodes an app...
174
click to vote
CONCUR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
158
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
166
click to vote
PPDP
2005
Springer
16 years 5 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...