Sciweavers

35419 search results - page 121 / 7084
» How are we doing
Sort
View
SIGCOMM
2010
ACM
15 years 3 months ago
California fault lines: understanding the causes and impact of network failures
Of the major factors affecting end-to-end service availability, network component failure is perhaps the least well understood. How often do failures occur, how long do they last,...
Daniel Turner, Kirill Levchenko, Alex C. Snoeren, ...
UAI
1990
15 years 4 months ago
Problem formulation as the reduction of a decision model
In this paper, we extend the QMR-DT probabilistic model for the domain of internal medicine to include decisions about treatments. In addition, we describe how we can use the comp...
David Heckerman, Eric Horvitz
CORR
2007
Springer
96views Education» more  CORR 2007»
15 years 3 months ago
Edit and verify
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...
Radu Grigore, Michal Moskal
79
Voted
LREC
2010
121views Education» more  LREC 2010»
15 years 5 months ago
ELRA's Services 15 Years on...Sharing and Anticipating the Community
15 years have gone by and ELRA continues embracing the needs of the HLT community to design its services and to implement them through its operational body, ELDA. The needs of the...
Victoria Arranz, Khalid Choukri
146
Voted
CCS
2006
ACM
15 years 7 months ago
Measuring denial Of service
Denial-of-service (DoS) attacks significantly degrade service quality experienced by legitimate users by introducing long delays, excessive losses, and service interruptions. The ...
Jelena Mirkovic, Peter L. Reiher, Sonia Fahmy, Ros...