2400 search results - page 144 / 480 » Systems Failures |
ADAEUROPE
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
As power system loading increases, larger blackouts due to cascading outages become more likely. We investigate a critical loading at which the average size of blackouts increases...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
This is an overview of the robust resource allocation research efforts that have been and continue to be conducted by the CSU Robustness in Computer Systems Group. Parallel and di...
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
13 years 7 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
ACL
2001
13 years 10 months ago
2001
We present a machine learning approach to evaluating the wellformedness of output of a machine translation system, using classifiers that learn to distinguish human reference tran...