Sciweavers

8689 search results - page 349 / 1738
» Software: hard data
Sort
View
ERSHOV
2006
Springer
15 years 8 months ago
On the Usage of Concrete Syntax in Model Transformation Rules
Graph transformations are one of the best known approaches for defining transformations in model-based software development. They are defined over the abstract syntax of source and...
Thomas Baar, Jon Whittle
VAMOS
2010
Springer
15 years 8 months ago
Tool Support for Incremental Consistency Checking on Variability Models
The complexity of variability models makes it hard for product line engineers to maintain their consistency over time. Engineers need support to detect and resolve inconsistencies....
Michael Vierhauser, Deepak Dhungana, Wolfgang Heid...
AVI
2000
15 years 8 months ago
Automatic animation of discussions in USENET
This paper proposes a technique for generating more comprehensible animations from discussions, which are often hard to follow, in USENET. This technique consists of two steps. In...
Jun Yabe, Etsuya Shibayama, Shin Takahashi
164
Voted
FSTTCS
2008
Springer
15 years 7 months ago
Leaf languages and string compression
Tight connections between leafs languages and strings compressed via straight-line programs (SLPs) are established. It is shown that the compressed membership problem for a languag...
Markus Lohrey
ISCA
2002
IEEE
141views Hardware» more  ISCA 2002»
15 years 6 months ago
SADL: Simulation Architecture Description Language
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
Kenneth G. Ricks, John M. Weirs, B. Earl Wells