2613 search results - page 121 / 523 » Active Software Artifacts |
182
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
165
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
The paper describes the evolution of an Interdisciplinary Concurrent Design Methodology (ICDM) and the metrics used to compare four generations of wearable computer artifacts prod...
173
click to vote
MTA
2008
15 years 6 months ago
2008
This paper1 deals with monitoring user perception of multimedia presentations in a Universal Multimedia Access (UMA) enabled system using objective no-reference (NR) metrics. Thes...
164
click to vote
ISF
2007
2007
Requirements traceability in model-driven development: Applying model and transformation conformance
15 years 6 months ago
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...
165
click to vote
MIAR
2010
IEEE
15 years 4 months ago
2010
IEEE
Cardiac Motion artifacts in PET are a well known problem. The heart undergoes two types of motion, the motion due to respiratory displacement and the motion due to cardiac contract...