83 search results - page 17 / 17 » Deviation Analysis Through Model Checking |
CORR
2007
Springer
13 years 5 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
NGITS
1999
Springer
13 years 9 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
EDM
2009
13 years 3 months ago
2009
Traditional data mining techniques have been extensively applied to find interesting patterns, build descriptive and predictive models from large volumes of data accumulated throug...