1021 search results - page 156 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
172
Voted
ECMDAFA
2010
Springer
15 years 10 months ago
2010
Springer
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
163
Voted
EUROSYS
2008
ACM
16 years 3 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
171
Voted
FOSSACS
2005
Springer
16 years 7 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
154
Voted
ADAEUROPE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
180
Voted
CBSE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...