196 search results - page 9 / 40 » Battery-powered distributed systems (extended abstract) |
TACS
2001
Springer
15 years 4 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
IANDC
2008
14 years 11 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
125
click to vote
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
The notion of resource reservation for obtaining real-time scheduling guarantees and enforcement of resource usage has gained strong support in recent years. However, much work on...
ICCS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The Harness metacomputing framework is a reliable and flexible environment for distributed computing. A shortcoming of the system is that services are dependent on a nam...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based con...