1431 search results - page 38 / 287 » Solving Constraints in Model Transformations |
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
GTTSE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
99
Voted
CSCLP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
101
click to vote
ICWE
2005
Springer
15 years 6 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
83
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we develop an improved approach to the worstcase robust adaptive beamforming for general-rank signal models by means of taking into account the positive semi-defin...