752 search results - page 48 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
125
Voted
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Since typical industrial-scale reactors may contain many millions of bubbles, the extension of direct free-surface modelling techniques to resolve every bubble in the vessel would ...
155
click to vote
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...
156
click to vote
ECBS
2010
IEEE
15 years 12 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
161
click to vote
PDP
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...
153
click to vote
RTSS
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...