4962 search results - page 578 / 993 » Stochastic Model Checking |
134
click to vote
SRDS
2007
IEEE
15 years 11 months ago
2007
IEEE
Networked computing systems continue to grow in scale and in the complexity of their components and interactions. Component failures become norms instead of exceptions in these en...
148
click to vote
ICCV
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a new method of detecting and predicting motion tracking failures with applications in human motion and gait analysis. We define a tracking failure as an event...
111
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— We consider a stochastic model of an ECN/RED gateway with competing TCP sources sharing the capacity. As the number of competing flows becomes large, the queue behavior at the...
132
click to vote
INFOVIS
2002
IEEE
15 years 9 months ago
2002
IEEE
Many clustering and layout techniques have been used for structuring and visualising complex data. This paper is inspired by a number of such contemporary techniques and presents ...
170
click to vote
MMB
2001
Springer
15 years 9 months ago
2001
Springer
This paper provides a performance evaluation of the TETRAPOL random access protocol. The results are based on a Markovian model which is also presented. The Markovian model is use...