958 search results - page 64 / 192 » Model Transformation Languages and Their Implementation by B... |
101
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...
ICSE
1994
IEEE-ACM
15 years 5 months ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
115
click to vote
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
115
click to vote
CAV
2009
Springer
15 years 6 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
MEMOCODE
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...