Sciweavers

4187 search results - page 253 / 838
» A Taxonomy of Model Transformation
Sort
View
ACII
2005
Springer
15 years 8 months ago
A Canonical Face Based Virtual Face Modeling
Abstract The research presented here is to create 3D virtual face based on the canonical face model derived from a clustering method on facial feature points. The algorithm efficie...
Seongah Chin
ENTCS
2006
115views more  ENTCS 2006»
15 years 6 months ago
Using ATL for Checking Models
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
Jean Bézivin, Frédéric Jouaul...
FDL
2006
IEEE
16 years 22 days ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt
ICSE
2012
IEEE-ACM
13 years 9 months ago
A bidirectional model-driven spreadsheet environment
Abstract—In this extended abstract we present a bidirectional model-driven framework to develop spreadsheets. By being model driven, our approach allows to evolve a spreadsheet m...
Jácome Cunha, João Paulo Fernandes, ...
TSP
2008
154views more  TSP 2008»
15 years 6 months ago
Algebraic Signal Processing Theory: 1-D Space
In our paper titled "Algebraic Signal Processing Theory: Foundation and 1-D Time" appearing in this issue of the IEEE TRANSACTIONS ON SIGNAL PROCESSING, we presented the ...
Markus Püschel, José M. F. Moura