Sciweavers

4187 search results - page 254 / 838
» A Taxonomy of Model Transformation
Sort
View
ICCV
2005
IEEE
16 years 8 months ago
A Multi-Scale Hybrid Linear Model for Lossy Image Representation
This paper introduces a simple and efficient representation for natural images. We partition an image into blocks and treat the blocks as vectors in a high-dimensional space. We t...
Wei Hong, John Wright, Kun Huang, Yi Ma
CIKM
2009
Springer
16 years 1 months 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
16 years 25 days 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
SIGADA
2005
Springer
16 years 4 days 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 4 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