92 search results - page 6 / 19 » A Stochastic Model of the Damage Propagation in Database Sys... |
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
QEST
2005
IEEE
14 years 1 months ago
2005
IEEE
Internet servers are developing into complex but central components in the information infrastructure and are accessed by an ever-increasing and diversified user population. As s...
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Vehicle-to-vehicle (VTV) communications are of interest for applications within traffic safety and congestion avoidance, but the development of suitable communications systems...
PADS
2005
ACM
14 years 1 months ago
2005
ACM
Most well-known Internet worms, such as Code Red, Slammer, and Blaster, infected vulnerable computers by scanning the entire Internet IPv4 space. In this paper, we present a new s...
ICML
2009
IEEE
14 years 8 months ago
2009
IEEE
The general stochastic optimal control (SOC) problem in robotics scenarios is often too complex to be solved exactly and in near real time. A classical approximate solution is to ...