4962 search results - page 645 / 993 » Stochastic Model Checking |
187
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Recent discoveries of a large variety of important roles for non-coding RNAs (ncRNAs) have been reported by numerous researchers. In order to analyze ncRNAs by kernel ...
199
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
ABSTRACT. Upon the discovery of power laws [8, 16, 30], a large body of work in complex network analysis has focused on developing generative models of graphs which mimick real-wor...
287
click to vote
TON
2012
13 years 8 months ago
2012
Abstract—Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important perfo...
147
Voted
MODELS
2009
Springer
16 years 27 days ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
167
click to vote
WSC
2004
15 years 7 months ago
2004
Most discrete-event simulation models have stochastic elements that mimic the probabilistic nature of the system under consideration. A close match between the input model and the...