Sciweavers

10790 search results - page 140 / 2158
» Using feature models to automate model transformations
Sort
View
116
Voted
ICALP
2000
Springer
15 years 8 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
178
Voted
IESS
2007
Springer
92views Hardware» more  IESS 2007»
15 years 11 months ago
An Interactive Model Re-Coder for Efficient SoC Specification
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
Pramod Chandraiah, Rainer Dömer
ICCV
2003
IEEE
16 years 6 months ago
Efficient, Robust and Accurate Fitting of a 3D Morphable Model
3D Morphable Models, as a means to generate images of a class of objects and to analyze them, have become increasingly popular. The problematic part of this framework is the regis...
Sami Romdhani, Thomas Vetter
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
15 years 2 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
ICRA
1993
IEEE
147views Robotics» more  ICRA 1993»
15 years 9 months ago
Towards Sonar Based Perception and Modelling for Unmanned Untethered Underwater Vehicles
The ability to automatically generate internal models from sensed data will be of critical importance in the development of flexible, adaptive and useful unmanned underwater vehic...
B. Steer, J. Kloske, P. Garner, L. LeBlanc, S. Sch...