Sciweavers

3429 search results - page 110 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
POPL
2009
ACM
16 years 3 months ago
A model of cooperative threads
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
Gordon D. Plotkin, Martín Abadi
EMNLP
2009
15 years 8 days ago
Joint Learning of Preposition Senses and Semantic Roles of Prepositional Phrases
The sense of a preposition is related to the semantics of its dominating prepositional phrase. Knowing the sense of a preposition could help to correctly classify the semantic rol...
Daniel Dahlmeier, Hwee Tou Ng, Tanja Schultz
MODELS
2010
Springer
15 years 27 days ago
Capturing the Intention of Model Changes
Abstract. Model differences calculated by differencing algorithms contain the atomic changes made to a model. However, they do not capture the user’s intention of the modifica...
Patrick Könemann
140
Voted
SAC
2010
ACM
14 years 9 months ago
Inter-DSL coordination support by combining megamodeling and model weaving
Model-Driven Engineering (MDE) advocates the use of models at every step of the software development process. Within this context, a team of engineers collectively and collaborati...
Frédéric Jouault, Bert Vanhooff, Hug...
MODELS
2009
Springer
15 years 9 months ago
Dead or Alive: finding zombie features in the Linux kernel
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
Reinhard Tartler, Julio Sincero, Wolfgang Schr&oum...