6303 search results - page 56 / 1261 » A Generated Management for Distributed Systems |
114
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
92
Voted
CLUSTER
2007
IEEE
15 years 9 months ago
2007
IEEE
104
Voted
CLUSTER
2007
IEEE
15 years 9 months ago
2007
IEEE
98
Voted
DEBU
2010
14 years 12 months ago
2010
121
click to vote
WETICE
1998
IEEE
15 years 6 months ago
1998
IEEE
We describe a system whose purpose is to explore the use of certificates for the distributed management of access rights for resources that have multiple, independent, and geograp...