181 search results - page 31 / 37 » Testing Java Components based on Algebraic Specifications |
CAD
2000
Springer
13 years 7 months ago
2000
Springer
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
The aim of this paper is to find the best representation for the appearance of surfaces with Lambertian reflectance under varying illumination. Previous work using principal compo...
BMCBI
2008
13 years 7 months ago
2008
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
LCTRTS
2000
Springer
13 years 11 months ago
2000
Springer
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
We investigated nonrigid co-registration of PET and MR breast images to improve diagnostic specificity in difficult-to-interpret mammograms, and ultimately to avoid biopsy. A defo...