958 search results - page 151 / 192 » Model Transformation Languages and Their Implementation by B... |
113
click to vote
ISCI
2008
15 years 1 months ago
2008
Spelling speech recognition can be applied for several purposes including enhancement of speech recognition systems and implementation of name retrieval systems. This paper presen...
141
click to vote
FM
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
128
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
111
click to vote
WSC
2007
15 years 3 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
213
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...