4962 search results - page 492 / 993 » Stochastic Model Checking |
170
click to vote
ECCB
2003
IEEE
15 years 9 months ago
2003
IEEE
This article deals with the identification of gene regulatory networks from experimental data using a statistical machine learning approach. A stochastic model of gene interactio...
131
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— With the rapid growth of Internet, parameter design and analysis for large-scale networks has become a topic of active interest. Since simulation of such large scale systems is...
128
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Using the particular example of online banking services, we examine the effects of pricing strategies on the demand for different modes of online banking given that the market exh...
125
click to vote
ASMTA
2009
Springer
15 years 8 months ago
2009
Springer
Discrete stochastic models (DSM) are widely used in various application fields today. Proxel-based simulation can outperform discrete event-based approaches in the analysis of smal...
179
click to vote
EEF
2000
15 years 8 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...