28 search results - page 6 / 6 » Distributed Verification of Mixing - Local Forking Proofs Mo... |
SRDS
1999
IEEE
13 years 9 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
NDSS
2002
IEEE
13 years 10 months ago
2002
IEEE
In this paper we present PAMINA (Privilege Administration and Management INfrAstructure), a privilege management system using authorization certificates. Our system supports distr...
MOBIHOC
2003
ACM
14 years 4 months ago
2003
ACM
The capacity of ad hoc wireless networks is constrained by the interference between concurrent transmissions from neighboring nodes. Gupta and Kumar have shown that the capacity o...