4962 search results - page 473 / 993 » Stochastic Model Checking |
145
click to vote
NETWORKING
2007
15 years 5 months ago
2007
This paper addresses the study of fundamental properties of stream-based content distribution services. We assume the presence of an overlay network with limited connectivity degre...
123
click to vote
JSW
2007
15 years 4 months ago
2007
Abstract— In this paper, we present our methodology proposal for cooperative remote systems modeling. Its aim is to develop models of existing or planned cooperative systems. The...
127
click to vote
PE
2000
Springer
15 years 4 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
155
click to vote
JCNS
2002
15 years 4 months ago
2002
A generalized version of the integrate-and-fire model is presented that qualitatively reproduces firing rates and membrane trajectories of motoneurons. The description is based on ...
173
click to vote
AAAI
2012
13 years 6 months ago
2012
This paper concerns learning and prediction with probabilistic models where the domain sizes of latent variables have no a priori upper-bound. Current approaches represent prior d...