1376 search results - page 247 / 276 » Model-Driven Software Verification |
117
click to vote
PCI
2005
Springer
15 years 7 months ago
2005
Springer
HIV Drug Resistance testing has been established as a routine test in several cases. Estimation of genotypic resistance is a laborious task consisting of experimental procedure and...
117
Voted
IPSN
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
131
click to vote
ECBS
2003
IEEE
15 years 7 months ago
2003
IEEE
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...
102
click to vote
ISESE
2003
IEEE
15 years 7 months ago
2003
IEEE
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
111
click to vote
BPM
2009
Springer
15 years 6 months ago
2009
Springer
This report will present a collection of tools that supports the precise definition, careful analysis, and execution of processes that coordinate the actions of humans, automated d...