5525 search results - page 203 / 1105 » Verification of Model Transformations |
149
Voted
WSC
2000
15 years 5 months ago
2000
The basic idea of Soft-Commissioning (SoftCom) is to test industrial control software by connecting a controller, e. g. a PLC (Programmable Logic Controller) to a commercial discr...
144
Voted
CAV
2010
Springer
15 years 1 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
140
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Recently, i-vector extraction and Probabilistic Linear Discriminant Analysis (PLDA) have proven to provide state-of-the-art speaker verification performance. In this paper, the s...
135
Voted
ENTCS
2010
15 years 1 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
121
Voted
CIBSE
2009
ACM
15 years 10 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...