Sciweavers

10790 search results - page 223 / 2158
» Using feature models to automate model transformations
Sort
View
ICDE
2005
IEEE
97views Database» more  ICDE 2005»
16 years 8 months ago
ModelGen: Model Independent Schema Translation
A customizable and extensible tool is proposed to implement ModelGen, the model management operator that translates a schema from one model to another. A wide family of models is ...
Paolo Atzeni, Paolo Cappellari, Philip A. Bernstei...
ACL
2012
13 years 9 months ago
Discriminative Pronunciation Modeling: A Large-Margin, Feature-Rich Approach
We address the problem of learning the mapping between words and their possible pronunciations in terms of sub-word units. Most previous approaches have involved generative modeli...
Hao Tang, Joseph Keshet, Karen Livescu
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 4 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
SCAM
2002
IEEE
15 years 11 months ago
Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
Peter Bunus, Peter Fritzson
SAFECOMP
2009
Springer
16 years 1 months ago
Probabilistic Failure Propagation and Transformation Analysis
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
Xiaocheng Ge, Richard F. Paige, John A. McDermid