1951 search results - page 202 / 391 » UML-Based integration testing |
124
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
155
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
191
click to vote
DILS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
145
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
128
click to vote
FPGA
2006
ACM
15 years 8 months ago
2006
ACM
Embedded memory blocks are important resources in contemporary FPGA devices. When targeting FPGAs, application designers often specify high-level memory functions which exhibit a ...