780 search results - page 37 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
95
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Studies have shown significant benefits of the use of Domain-Specific Languages. However, designing a DSL still seems to be an art, rather than a craft following a clear method...
154
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
115
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
130
Voted
UML
2001
Springer
15 years 8 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
109
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
We study key issues related to multilingual acoustic modeling for automatic speech recognition (ASR) through a series of large-scale ASR experiments. Our study explores shared str...