514 search results - page 58 / 103 » Read-Only Execution for Dynamic Languages |
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
Publication
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
WAC
2004
Springer
14 years 1 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
DANCE
2002
IEEE
14 years 20 days ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...