4052 search results - page 488 / 811 » Using RDF to describe networks |
171
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Software configuration problems are a major source of failures in computer systems. In this paper, we present a new framework for categorizing configuration problems. We apply thi...
160
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes a decentralized consistency protocol for survivable storage that exploits local data versioning within each storage-node. Such versioning enables the protocol...
171
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algori...
172
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
194
click to vote
QOFIS
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we present an optimisation approach to congestion flow control. The initial context of this approach was as a rate based flow control in ATM networks. We describe te...