408 search results - page 42 / 82 » Modeling and analysis of a supply-assembly-store chain |
PE
2007
Springer
14 years 11 months ago
2007
Springer
This paper develops time-based rejuvenation policies to improve the performability measures of a cluster system. Three rejuvenation policies, namely standard rejuvenation, delayed...
127
click to vote
DSN
2011
IEEE
13 years 11 months ago
2011
IEEE
—In this paper we extend the class of MAP queueing networks to include blocking models, which are useful to describe the performance of service instances which have a limited con...
107
click to vote
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
PRDC
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
119
click to vote
IANDC
2006
14 years 11 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...