358 search results - page 37 / 72 » A Verification Methodology for Model Fields |
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Potential sanitary effects related to electromagnetic fields exposure raise public concerns, especially for fetuses during pregnancy. Human fetus exposure can only be assessed thro...
SAC
2006
ACM
14 years 11 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
GECCO
2008
Springer
15 years 27 days ago
2008
Springer
This paper compares three common evolutionary algorithms and our modified GA, a Distributed Adaptive Genetic Algorithm (DAGA). The optimal approach is sought to adapt, in near rea...
106
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
111
click to vote
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
We present a complete top-down design of a low-power multi-channel clock recovery circuit based on gated current-controlled oscillators. The flow includes several tools and method...