1875 search results - page 59 / 375 » A Calculus of Broadcasting Systems |
EUROPAR
2006
Springer
13 years 11 months ago
2006
Springer
In Mobile Ad Hoc Networks (MANETs), broadcasting is widely used to support many applications. Several adaptive broadcast schemes have been proposed to reduce the number of rebroadc...
FC
2006
Springer
13 years 11 months ago
2006
Springer
In many content distribution systems it is important both to restrict access to content to authorized users and to protect the identities of these users. We discover that current s...
DSN
2006
IEEE
14 years 1 months ago
2006
IEEE
In previous work, it has been shown how to solve atomic broadcast by reduction to consensus on messages. While this solution is theoretically correct, it has its limitations in pr...
CONCUR
2000
Springer
14 years 8 hour ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
ENTCS
2007
13 years 7 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...