Sciweavers

984 search results - page 66 / 197
» Experimenting with Multi-Level Models in a Two-Level Modelin...
Sort
View
151
Voted
GI
2005
Springer
15 years 9 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
132
Voted
CVPR
2008
IEEE
16 years 5 months ago
Adaptive and constrained algorithms for inverse compositional Active Appearance Model fitting
Parametric models of shape and texture such as Active Appearance Models (AAMs) are diverse tools for deformable object appearance modeling and have found important applications in...
George Papandreou, Petros Maragos
DATE
2009
IEEE
130views Hardware» more  DATE 2009»
15 years 10 months ago
Evaluating UML2 modeling of IP-XACT objects for automatic MP-SoC integration onto FPGA
—IP-XACT is a standard for describing intellectual property metadata for System-on-Chip (SoC) integration. Reesearchers have proposed visualizing and abstracting IP-XACT objects ...
Tero Arpinen, Tapio Koskinen, Erno Salminen, Timo ...
114
Voted
GG
2004
Springer
15 years 9 months ago
Model Checking Graph Transformations: A Comparison of Two Approaches
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
Arend Rensink, Ákos Schmidt, Dániel ...
EUROPAR
2009
Springer
15 years 8 months ago
Modelling Pilot-Job Applications on Production Grids
Pilot-job systems have emerged as a computation paradigm to cope with heterogeneity of production grids, greatly improving fault ratios and latency. Tools like DIANE, WISDOM-II, To...
Tristan Glatard, Sorina Camarasu-Pop