405 search results - page 4 / 81 » Stochastic analysis of file-swarming systems |
181
Voted
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
179
Voted
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
159
Voted
ECBS
2009
IEEE
16 years 18 days ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
173
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...