1895 search results - page 217 / 379 » Using ATL for Checking Models |
113
click to vote
IJHCI
2010
15 years 3 months ago
2010
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
155
click to vote
BIBM
2008
IEEE
15 years 11 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a â...
148
click to vote
BIOCOMP
2006
15 years 6 months ago
2006
Based on microarray gene expression datasets, many statistical methods have been proposed to locate the significant differentially expressed genes (marker genes) among different sa...
157
click to vote
ASE
1999
15 years 4 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
178
click to vote
VLSID
2010
IEEE
15 years 2 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...