379 search results - page 21 / 76 » Content Is Capricious: A Case for Dynamic System Generation |
DSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
93
Voted
CAISE
2004
Springer
15 years 2 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
100
click to vote
ACSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
The effectiveness and precision of network-based intrusion detection signatures can be evaluated either by direct analysis of the signatures (if they are available) or by using bl...
106
click to vote
CGA
1999
14 years 9 months ago
1999
emsintovirtualenvironments,whileabstracting the modeling process as much as possible. To achieve efficiency,weconcentrateoncullingdynamicalsystems: if the system is not in view, we...
RSP
2003
IEEE
15 years 2 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...