Sciweavers

9444 search results - page 222 / 1889
» The Language Model LMNtal
Sort
View
JLP
2007
81views more  JLP 2007»
15 years 6 months ago
The SL synchronous language, revisited
We revisit the SL synchronous programming model introduced by Boussinot and De Simone (IEEE, Trans. on Soft. Eng., 1996). We discuss an alternative design of the model including t...
Roberto M. Amadio
EACL
2009
ACL Anthology
15 years 4 months ago
MINT: A Method for Effective and Scalable Mining of Named Entity Transliterations from Large Comparable Corpora
In this paper, we address the problem of mining transliterations of Named Entities (NEs) from large comparable corpora. We leverage the empirical fact that multilingual news artic...
Raghavendra Udupa, K. Saravanan, A. Kumaran, Jagad...
ENTCS
2008
98views more  ENTCS 2008»
15 years 6 months ago
Graph Transformation Semantics for a QVT Language
It has been claimed by many in the graph transformation community that model transformation, as understood in the context of Model Driven Architecture, can be seen as an applicati...
Arend Rensink, Ronald Nederpel
BIRTHDAY
2012
Springer
14 years 2 months ago
Model Transformation By-Example: A Survey of the First Wave
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
Gerti Kappel, Philip Langer, Werner Retschitzegger...
ACSD
2010
IEEE
222views Hardware» more  ACSD 2010»
15 years 4 months ago
Efficient Model Checking of PSL Safety Properties
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
Tuomas Launiainen, Keijo Heljanko, Tommi A. Juntti...