399 search results - page 57 / 80 » Verification of System Level Model Transformations |
156
click to vote
EDOC
2003
IEEE
15 years 7 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
112
click to vote
EJIS
2007
15 years 2 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
162
Voted
DSRT
2008
IEEE
15 years 4 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
111
click to vote
EDOC
2008
IEEE
15 years 9 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
118
Voted
TASLP
2010
15 years 26 days ago
2010
Abstract—We present an algorithm for removing timefrequency components, found by a standard Gabor transform, of a “real-world” sound while causing no audible difference to th...