9018 search results - page 170 / 1804 » 3D-Brain Model Software |
153
click to vote
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
115
click to vote
APPML
2011
14 years 10 months ago
2011
This article shows that, so called, general Green-Taylor solutions, also called Taylor solutions or eddy solutions of the 2d Navier Stokes equations are also exact solutions to app...
111
click to vote
MODELS
2009
Springer
15 years 9 months 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...
111
click to vote
CCS
2003
ACM
15 years 8 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
126
click to vote
SOCO
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...