4341 search results - page 795 / 869 » Quantitative Model checking |
133
Voted
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
108
Voted
DSRT
2008
IEEE
15 years 9 months ago
2008
IEEE
In the past decade parallel disk systems have been highly scalable and able to alleviate the problem of disk I/O bottleneck, thereby being widely used to support a wide range of d...
154
Voted
AB
2008
Springer
15 years 8 months ago
2008
Springer
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
154
click to vote
ASIAMS
2007
IEEE
15 years 8 months ago
2007
IEEE
This talk has two parts explaining the significance of Rough sets in granular computing in terms of rough set rules and in uncertainty handling in terms of lower and upper approxi...
129
Voted
IMSCCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Background: Activities of drug molecules can be predicted by QSAR (quantitative structure activity relationship) models, which overcomes the disadvantages of high cost and long cy...