5525 search results - page 61 / 1105 » Verification of Model Transformations |
162
click to vote
SNPD
2004
15 years 8 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
168
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
142
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Last year, we showed that the computation of a GMM-UBMbased speaker verification (SV) system may be sped up by 30 times by using a high-density discrete model (HDDM) on the NIST 2...
156
click to vote
ECMDAFA
2007
Springer
16 years 23 days ago
2007
Springer
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
202
click to vote
SERP
2008
15 years 8 months ago
2008
Model Transformation is the key aspect of Model Driven Engineering (MDE), a model-centric software development approach aiming at improving the quality and productivity of softwar...