7557 search results - page 556 / 1512 » Modeling Timed Concurrent Systems |
169
click to vote
PE
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we consider a single-server cyclic polling system. Between visits to successive queues, the server is delayed by a random switch-over time. The order in which custom...
222
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
184
Voted
CONEXT
2009
ACM
15 years 8 months ago
2009
ACM
BitTorrent, the immensely popular file swarming system, suffers a fundamental problem: content unavailability. Although swarming scales well to tolerate flash crowds for popular c...
187
Voted
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Today’s large-scale computing systems are deployed in open, changing and unpredictable environments. To operate reliably, such systems should be able to adapt to new ci...
181
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
Abstract. Modern document collections often contain groups of documents with overlapping or shared content. However, most information retrieval systems process each document separa...