Sciweavers

22560 search results - page 108 / 4512
» Development of Transportation Systems
Sort
View
PE
2011
Springer
228views Optimization» more  PE 2011»
15 years 1 months ago
Closed-form waiting time approximations for polling systems
A typical polling system consists of a number of queues, attended by a single server in a fixed order. The present study derives closed-form approximations for the mean waiting t...
Marko A. A. Boon, Erik M. M. Winands, Ivo J. B. F....
CADE
1992
Springer
15 years 10 months ago
IMPS: System Description
network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...
William M. Farmer, Joshua D. Guttman, F. Javier Th...
IWFM
2003
104views Formal Methods» more  IWFM 2003»
15 years 7 months ago
Stepwise Development of Peer-to-Peer Systems
Peer-to-peer systems like Napster, Gnutella and Kazaa have recently become popular for sharing information. In this paper, we show how to design peer-to-peer systems within the ac...
Lu Yan, Kaisa Sere
ICECCS
2000
IEEE
105views Hardware» more  ICECCS 2000»
15 years 10 months ago
Distributed Development of Complex Software Systems with Object Make
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
Yasuhiro Sugiyama
DEBS
2009
ACM
15 years 9 months ago
Event-based systems: opportunities and challenges at exascale
Streaming data models have been shown to be useful in many applications requiring high-performance data exchange. Application-level overlay networks are a natural way to realize t...
Greg Eisenhauer, Matthew Wolf, Hasan Abbasi, Karst...