102 search results - page 9 / 21 » On the Distribution of Property Violations in Formal Models:... |
INFORMS
1998
13 years 8 months ago
1998
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...
IFM
1999
Springer
14 years 26 days ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
IMC
2006
ACM
14 years 2 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
ICML
2004
IEEE
14 years 9 months ago
2004
IEEE
Classifier learning methods commonly assume that the training data consist of randomly drawn examples from the same distribution as the test examples about which the learned model...
JCP
2008
13 years 8 months ago
2008
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...