1875 search results - page 26 / 375 » A Calculus of Broadcasting Systems |
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
LICS
1997
IEEE
13 years 11 months ago
1997
IEEE
We present a game-theoretic model of the polymorphic -calculus, system F, as a fibred category. Every morphism of the model defines an -expanded, -normal form ^ of system F whose...
APCCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— A novel black-box model for time series of prices analysis is proposed. It is constructed using the technique of “shaping filter”. The model identification is then propos...
MDM
2009
Springer
14 years 2 months ago
2009
Springer
—In mobile and wireless networks, data broadcasting for popular data items enables the efficient utilization of the limited wireless bandwidth. However, efficient data scheduli...
SRDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Atomic broadcast in particular, and group communication in general, have mainly been specified and implemented in a system model where processes do not recover after a crash. The...