250 search results - page 10 / 50 » Stochastic Kronecker Graphs |
EPEW
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. The adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of c...
FASE
2010
Springer
14 years 4 months ago
2010
Springer
ECEASST
2010
13 years 7 months ago
2010
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extensio...
ICALP
2009
Springer
14 years 10 months ago
2009
Springer
A stochastic game is a two-player game played on a graph, where in each state the successor is chosen either by one of the players, or according to a probability distribution. We s...