14360 search results - page 207 / 2872 » Time Modeling in MARTE |
TELSYS
2002
13 years 10 months ago
2002
We consider a Markovian multiserver queueing model with time dependent parameters where waiting customers may abandon and subsequently retry. We provide simple fluid and diffusion ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
This paper proposes a nonparametric Bayesian method for exploratory data analysis and feature construction in continuous time series. Our method focuses on understanding shared fe...
ISBI
2004
IEEE
14 years 11 months ago
2004
IEEE
A novel statistical scheme for the automatic detection and tracking in time of relapsing-remitting multiple sclerosis (MS) lesions in image sequences is described. Coherent space-...
ISOLA
2007
Springer
14 years 4 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
SEW
2006
IEEE
14 years 4 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...