Sciweavers

3429 search results - page 110 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
POPL
2009
ACM
14 years 8 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
13 years 5 months 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
13 years 6 months 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
SAC
2010
ACM
13 years 2 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
14 years 2 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...