3082 search results - page 526 / 617 » Deviation Analysis: A New Use of Model Checking |
136
click to vote
MSOM
2010
14 years 11 months ago
2010
The Vaccine and Related Biologic Products Advisory Committee meets at least once a year to decide the composition of the influenza vaccine in the U.S. Past evidence suggests that ...
164
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The small sample sizes often used for microarray experiments result in poor estimates of variance if each gene is considered independently. Yet accurately estimating v...
177
click to vote
SIAMCO
2010
14 years 11 months ago
2010
Abstract. In the paper compressible, stationary Navier-Stokes (N-S) equations are considered. The model is well-posed, there exist weak solutions in bounded domains, subject to inh...
135
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper, we study the performance of the IEEE 802.11 MAC protocol under a range of jammers that covers both channel-oblivious and channel-aware jamming. We study two chann...
134
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...