752 search results - page 140 / 151 » A Markov Chain Model Checker |
INFOCOM
2011
IEEE
13 years 9 days ago
2011
IEEE
—The distributed nature of the CSMA/CA based wireless protocols, e.g., the IEEE 802.11 distributed coordinated function (DCF), allows malicious nodes to deliberately manipulate t...
COR
2008
13 years 8 months ago
2008
We consider a firm that faces random demand and receives product from a single supplier who faces random supply. The supplier's availability may be affected by events such as...
CN
2004
13 years 8 months ago
2004
In this paper, the problem of measuring normality in HTTP traffic for the purpose of anomaly-based network intrusion detection is addressed. The work carried out is expressed in t...
AAAI
2007
13 years 11 months ago
2007
In this paper, we consider a hybrid solution to the sensor network position inference problem, which combines a real-time filtering system with information from a more expensive,...
FGR
2002
IEEE
14 years 1 months ago
2002
IEEE
We present ongoing work on a project for automatic recognition of spontaneous facial actions. Spontaneous facial expressions differ substantially from posed expressions, similar t...