Sciweavers

470 search results - page 8 / 94
» Semantic Anchoring with Model Transformations
Sort
View
ICALP
2000
Springer
13 years 11 months ago
Graph Transformations on the UML Metamodel
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
Martin Gogolla
CAISE
1999
Springer
14 years 1 days ago
A Uniform Approach to Inter-model Transformations
Whilst it is a common task in systems integration to have to transform between di erent semantic data models, such inter-model transformations are often speci ed in an ad hoc manne...
Peter McBrien, Alexandra Poulovassilis
ICB
2009
Springer
255views Biometrics» more  ICB 2009»
13 years 5 months ago
Automatic Partial Face Alignment in NIR Video Sequences
Face recognition with partial face images is an important problem in face biometrics. The necessity can arise in not so constrained environments such as in surveillance video, or p...
Jimei Yang, ShengCai Liao, Stan Z. Li
DAGSTUHL
2004
13 years 9 months ago
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
Martin Gogolla
APN
2003
Springer
13 years 11 months ago
Reactive Petri Nets for Workflow Modeling
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
Rik Eshuis, Juliane Dehnert