43 search results - page 8 / 9 » Petri Net Modelling and Performability Evaluation with TimeN... |
SIGMETRICS
2010
ACM
13 years 4 months ago
2010
ACM
Data center availability is critical considering the explosive growth in Internet services and people’s dependence on them. Furthermore, in recent years, sustainability has beco...
HASE
1999
IEEE
13 years 10 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
GLOBECOM
2010
IEEE
13 years 3 months ago
2010
IEEE
: We propose and analyze a class of trust management protocols for encounter-based routing in delay tolerant networks (DTNs). The underlying idea is to incorporate trust evaluation...
CJ
2004
13 years 5 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
VALUETOOLS
2006
ACM
13 years 11 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...