4341 search results - page 300 / 869 » Quantitative Model checking |
208
click to vote
CISIS
2010
IEEE
15 years 4 months ago
2010
IEEE
Regulatory cascades consisting of stress-induced gene modules and their transcriptional regulators were recently identified and quantitatively modeled using Artificial Neural Netwo...
166
click to vote
IJIS
2011
14 years 10 months ago
2011
The number of clinical trials reports is increasing rapidly due to a large number of clinical trials being conducted, it therefore raises an urgent need to utilize the clinical kno...
165
click to vote
QEST
2007
IEEE
16 years 29 days ago
2007
IEEE
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...
165
click to vote
ESEM
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents the findings of a survey on quality models in practice conducted among four software companies in Germany. In the first phase of the study, 25 quality manage...
140
Voted
WSC
1998
15 years 8 months ago
1998
This paper focuses on the practical value of using and selecting rail simulation models to find real solutions to real problems in constrained traffic corridors. It discusses issu...