Sciweavers

3921 search results - page 210 / 785
» Transforming Models with ATL
Sort
View
CIKM
2009
Springer
16 years 5 days ago
A case study on model driven data integration for data centric software development
Model Driven Data Integration is a data integration approach that proactively incorporates and utilizes metadata across the data integration process. By decoupling data and metada...
Hyeonsook Kim, Ying Zhang, Samia Oussena, Tony Cla...
FASE
2007
Springer
15 years 11 months ago
Scenario-Driven Dynamic Analysis of Distributed Architectures
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
George Edwards, Sam Malek, Nenad Medvidovic
136
Voted
SIGADA
2005
Springer
15 years 11 months ago
Temporal skeletons for verifying time
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
Gustaf Naeser, Kristina Lundqvist, Lars Asplund
ASPDAC
2010
ACM
233views Hardware» more  ASPDAC 2010»
15 years 3 months ago
Computer-aided recoding for multi-core systems
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
Rainer Dömer
ICASSP
2011
IEEE
14 years 9 months ago
Non-parallel training for voice conversion based on FT-GMM
This paper presents a non-parallel training algorithm for voice conversion based on feature transform Gaussian mixture model (FTGMM), which is a mixture model of joint density spa...
Ling-Hui Chen, Zhen-Hua Ling, Li-Rong Dai