1168 search results - page 7 / 234 » Management in Distributed Systems: A Semi-formal Approach |
139
click to vote
EEF
2000
15 years 3 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
MMMACNS
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
100
click to vote
CLUSTER
2008
IEEE
15 years 6 months ago
2008
IEEE
—Distributed file systems that use multiple servers to store data in parallel are becoming commonplace. Much work has already gone into such systems to maximize data throughput....
130
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper deals with large, distributed real-time systems that have execution times and resource utilizations which cannot be characterized a priori. (The motivation for our work ...
EDBT
2008
ACM
15 years 11 months ago
2008
ACM
Data replication is a central technique to increase availability and performance of distributed systems. While offering many advantages it also requires more effort for ensuring d...