7758 search results - page 1184 / 1552 » On the Number of Distributive Lattices |
179
click to vote
PNPM
1987
15 years 10 months ago
1987
We present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to...
207
click to vote
QOSA
2010
Springer
15 years 10 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
168
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The problem of interpreting the results of software performance analysis is very critical. Software developers expect feedbacks in terms of architectural design alternati...
161
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a f...
182
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Over the last decade, numerous admission control schemes have been studied to allocate network resources. Although per-flow control schemes can provide guaranteed QoS, such sch...