18769 search results - page 3350 / 3754 » Requirements Models in Context |
216
click to vote
EUROPAR
2009
Springer
16 years 10 days ago
2009
Springer
This paper addresses the issue of how to meet the strict timing constraints of (soft) real-time virtualized applications while the Virtual Machine (VM) hosting them is undergoing a...
187
click to vote
GI
2009
Springer
16 years 9 days ago
2009
Springer
: Understanding biological evolution prompts for a detailed understanding of the realized phenotype. Biochemical and gene regulatory dynamics are a cornerstone for the physiology o...
194
click to vote
SG
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. Modern premium automobiles are equipped with an increasing number of Electronic Control Units (ECUs). These ECUs are interconnected and form a complex network to provide ...
182
click to vote
ADAEUROPE
2001
Springer
16 years 6 days ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
190
click to vote
CP
2001
Springer
16 years 6 days ago
2001
Springer
In interactive graphical applications we often require that objects do not overlap. Such non-overlap constraints can be modelled as disjunctions of arithmetic inequalities. Unfortu...