838 search results - page 48 / 168 » A stochastic model for BitTorrent-like systems |
117
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
CLEAR
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the AIT system for 2D face tracking and the results obtained in the CLEAR 2007 evaluations. The system is based on the complementary operation of a set of face...
107
click to vote
EPEW
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. The adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of c...
INFOCOM
1994
IEEE
15 years 4 months ago
1994
IEEE
In this paper, we introduce a deterministic fluid model and two stochastic traffic models for wireless networks. The setting is a highway with multiple entrances and exits. Vehicl...
109
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— We study Balanced Truncation for stochastic differential equations. In doing so, we adopt ideas from large deviations theory and discuss notions of controllability and ...