379 search results - page 39 / 76 » The AGEDIS Tools for Model Based Testing |
146
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
141
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
167
click to vote
ICSE
1999
IEEE-ACM
15 years 9 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
182
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
In recent years, large databases of natural images have
become increasingly popular in the evaluation of face and
object recognition algorithms. However, Pinto et al. previously
...
165
click to vote
EVOW
2009
Springer
15 years 2 months ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...