81 search results - page 10 / 17 » An Injective Language for Reversible Computation |
EUROGP
2007
Springer
14 years 2 months ago
2007
Springer
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Wireless sensor networks (WSNs) are difficult to program and usually run statically-installed software limiting its flexibility. To address this, we developed Agilla, a new midd...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Exception handling is one of the popular means used for improving dependability and supporting recovery in the ServiceOriented Architecture (SOA). This practical experience paper ...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...