Sciweavers

1972 search results - page 135 / 395
» The Timed Asynchronous Distributed System Model
Sort
View
115
Voted
PE
2010
Springer
116views Optimization» more  PE 2010»
15 years 25 days ago
A polling model with multiple priority levels
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...
Marko A. A. Boon, Ivo J. B. F. Adan, Onno J. Boxma
164
Voted
WWW
2002
ACM
16 years 3 months ago
Clustering for opportunistic communication
We describe ongoing work on I2I, a system aimed at fostering opportunistic communication among users viewing or manipulating content on the Web and in productivity applications. U...
Jay Budzik, Shannon Bradshaw, Xiaobin Fu, Kristian...
112
Voted
HYBRID
2007
Springer
15 years 8 months ago
Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems
In this paper we show how file sharing peer to peer systems can be modeled by hybrid systems with a continuous part corresponding to a fluid limit of files and a discrete part c...
Bruno Gaujal, Florence Perronnin
ARTS
1997
Springer
15 years 6 months ago
Refinement of Time
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...
Manfred Broy
ISTA
2003
15 years 3 months ago
Formal Modeling of Communication Traces
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko,...