Sciweavers

838 search results - page 11 / 168
» A stochastic model for BitTorrent-like systems
Sort
View
QEST
2007
IEEE
15 years 3 months ago
Performance Trees: Expressiveness and Quantitative Semantics
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
Tamas Suto, Jeremy T. Bradley, William J. Knottenb...
69
Voted
IGARSS
2009
14 years 7 months ago
Estimation and Segmentation in Non-Gaussian POLSAR Clutter by SIRV Stochastic Processes
In the context of non-Gaussian polarimetric clutter models, this paper presents an application of the recent advances in the field of Spherically Invariant Random Vectors (SIRV) m...
Gabriel Vasile, Jean Philippe Ovarlez, Fréd...
144
Voted
CMSB
2011
Springer
13 years 9 months ago
Coloured stochastic multilevel multiset rewriting
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
Nicolas Oury, Gordon D. Plotkin
JDCTA
2010
146views more  JDCTA 2010»
14 years 4 months ago
Modelling for Cruise Two-Dimensional Online Revenue Management System
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...
Bingzhou Li
FORTE
2004
14 years 11 months ago
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thoma...