3073 search results - page 33 / 615 » Real World Verification |
SEMCO
2007
IEEE
14 years 1 months ago
2007
IEEE
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...
CCIA
2007
Springer
14 years 1 months ago
2007
Springer
ESA
2007
Springer
14 years 1 months ago
2007
Springer
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This work is motivated by experiences in the course of developing an ontology-based application within a real-world setting. We found out that current benchmarks are not ...
ICISS
2007
Springer
14 years 1 months ago
2007
Springer
This paper reports the results of our experimentation with modeling worm behavior on a large scale, fully adaptable network simulator. Our experiments focused on areas of worm scan...