3281 search results - page 185 / 657 » An Approach to use Executable Models for Testing |
100
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
A robust modelling method for detecting and measuring isotropic, linear features and bifurcations is described and applied to analysing 2d eletrophoresis and retinal images. Featu...
109
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
100
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Non-functional properties (NFPs) concern various characteristics of a system (cost, power, QoS). These characteristics belong to different models of the system, built by...
123
Voted
BIBE
2007
IEEE
15 years 9 months ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
114
Voted
DKE
2010
15 years 3 months ago
2010
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...