1953 search results - page 281 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
ENTCS
2008
14 years 10 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
CONEXT
2007
ACM
15 years 1 months ago
2007
ACM
Distributed storage systems provide data availability by means of redundancy. To assure a given level of availability in case of node failures, new redundant fragments need to be ...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
A system that performs the tracking of a human head in 3D in real time is presented. The head shape is modeled by an ellipse with a trained color histogram of skin and hair sample...
SAINT
2008
IEEE
15 years 4 months ago
2008
IEEE
Object replication and cache consistency have been one of major design issues in the recent Internet applications. In this paper, we forcus on accuracy-aware applications (i.e., s...
SIGMETRICS
2004
ACM
15 years 3 months ago
2004
ACM
A large variety of communication systems, including telephone and data networks, can be represented by so-called Whittle networks. The stationary distribution of these networks is...