Sciweavers

9931 search results - page 145 / 1987
» Generative Modeling by PRISM
Sort
View
FASE
2008
Springer
15 years 8 months ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
GLVLSI
2008
IEEE
157views VLSI» more  GLVLSI 2008»
16 years 1 months ago
Coverage-driven automatic test generation for uml activity diagrams
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita
IJCNLP
2005
Springer
16 years 10 days ago
A Case-Based Reasoning Approach for Speech Corpus Generation
Corpus-based stochastic language models have achieved significant success in speech recognition, but construction of a corpus pertaining to a specific application is a difficult ta...
Yandong Fan, Elizabeth A. Kendall
FLAIRS
2006
15 years 8 months ago
Referring-Expression Generation Using a Transformation-Based Learning Approach
A natural language generation system must generate expressions that allow a reader to identify the entities to which they refer. This paper describes the creation of referring-exp...
Jill Nickerson, Stuart M. Shieber, Barbara J. Gros...
KBSE
2006
IEEE
16 years 26 days ago
Model-driven Monitoring: Generating Assertions from Visual Contracts
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
Marc Lohmann, Gregor Engels, Stefan Sauer