Sciweavers

101 search results - page 21 / 21
» Replication Strategies for Highly Available Peer-to-Peer Sto...
Sort
View
INFORMS
1998
142views more  INFORMS 1998»
13 years 4 months ago
Distributed State Space Generation of Discrete-State Stochastic Models
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
Gianfranco Ciardo, Joshua Gluckman, David M. Nicol