4962 search results - page 94 / 993 » Stochastic Model Checking |
DAGSTUHL
2006
13 years 10 months ago
2006
ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...
NIPS
2003
13 years 10 months ago
2003
Recent work has examined the estimation of models of stimulus-driven neural activity in which some linear filtering process is followed by a nonlinear, probabilistic spiking stag...
HIPC
1999
Springer
14 years 1 months ago
1999
Springer
An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented that is based on a semi-Markov model for the window ...
IWIA
2003
IEEE
14 years 2 months ago
2003
IEEE
1 A new method for detecting anomalies in the usage of protocols in computer networks is presented in this work. The proposed methodology is applied to TCP and disposed in two step...
AUTOMATICA
2006
13 years 9 months ago
2006
This paper proposes a capital accumulation model with a random stopping time corresponding to the occurrence of an environmental catastrophe. Depending on the preventive capital s...