3555 search results - page 157 / 711 » Security-Critical System Development with Extended Use Cases |
129
click to vote
EDBT
2000
ACM
15 years 7 months ago
2000
ACM
OLAP applications use precomputation of aggregate data to improve query response time. While this problem has been well-studied in the recent database literature, to our knowledge ...
142
click to vote
MP
2010
15 years 2 months ago
2010
Recently, Andersen et al. [1], Borozan and Cornu´ejols [7] and Cornu´ejols and Margot [10] characterized extreme inequalities of a system of two rows with two free integer varia...
123
click to vote
ICARCV
2008
IEEE
15 years 10 months ago
2008
IEEE
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
139
click to vote
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Clustering system is getting popular in various application areas because of its cost-effectiveness. In this paper, we introduce the CROWN (Clustering Resources on Workstations’...
112
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...