2748 search results - page 478 / 550 » Generating Object-Z Specifications from Use Cases |
120
click to vote
ATS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--To achieve a high product quality for nano-scale systems both realistic defect mechanisms and process variations must be taken into account. While existing approaches for...
AINA
2009
IEEE
15 years 6 months ago
2009
IEEE
— This research presents a novel application of Lateralization Index (LI) in support of a decision making process for the classification of subjects based on their brain activati...
AEI
2010
14 years 12 months ago
2010
The planning and management of supply chains require properly specifying the participating members and the relationships among them. Construction supply chains usually consist of n...
124
click to vote
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
SIAMSC
2008
14 years 11 months ago
2008
We study preconditioners for the iterative solution of the linear systems arising in the implicit time integration of the compressible Navier-Stokes equations. The spatial discreti...