SAC
2008
ACM
13 years 10 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...
SCP
2000
13 years 10 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
AMC
2005
13 years 10 months ago
2005
In this paper, by using theories of stochastic process and differential equation, the authors systematically studied the distribution of grazing animals between two resource point...
AMC
2006
13 years 11 months ago
2006
In this paper, the distribution of grazing animals around a resource point on a grassland was studied by using theories of stochastic process and differential equations. The resul...
EJC
2010
13 years 11 months ago
2010
We consider the number of nodes in the levels of unlabelled rooted random trees and show that the stochastic process given by the properly scaled level sizes weakly converges to th...
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
QEST
2009
IEEE
14 years 5 months ago
2009
IEEE
—Gossip protocols are designed to operate in very large, decentralised networks. A node in such a network bases its decision to interact (gossip) with another node on its partial...