3281 search results - page 251 / 657 » An Approach to use Executable Models for Testing |
157
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
136
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
176
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
135
click to vote
DSD
2004
IEEE
15 years 7 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
161
click to vote
CONNECTION
2006
15 years 3 months ago
2006
We present an approach for recognition and clustering of spatio temporal patterns based on networks of spiking neurons with active dendrites and dynamic synapses. We introduce a n...