958 search results - page 71 / 192 » Model Transformation Languages and Their Implementation by B... |
107
click to vote
FOSSACS
2000
Springer
15 years 5 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
108
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Babel is a high-performance, n-way language interoperability tool for the HPC community that now includes support for distributed computing via Remote Method Invocation (RMI). We ...
127
click to vote
TOPNOC
2008
15 years 1 months ago
2008
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
ICPR
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents automatic pronunciation transliteration method with acoustic and contextual analysis for Chinese-English mixed language keyword spotting (KWS) system. More ofte...