371 search results - page 59 / 75 » Verification of Timing Properties in Rapid System Prototypin... |
TACAS
1998
Springer
14 years 5 days ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
ADCM
2008
13 years 8 months ago
2008
Abstract. Signals with finite rate of innovation are those signals having finite degrees of freedom per unit of time that specify them. In this paper, we introduce a prototypical s...
WAN
1998
Springer
14 years 5 days ago
1998
Springer
In this paper the Northrhine-Westphalian metacomputing initiative is described. We start by discussing various general aspects of metacomputing and explain the reasons for founding...
EUROPAR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Cloud computing platforms provide scalability and high availability properties for web applications but they sacrifice data consistency at the same time. However, many a...
DISCEX
2003
IEEE
14 years 1 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...