18 search results - page 3 / 4 » Performance Analysis of the CORBA Event Service using Stocha... |
JSS
2010
13 years 1 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
INFORMS
1998
13 years 5 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
HASE
1999
IEEE
13 years 10 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
MMS
2000
13 years 6 months ago
2000
An admission control algorithm for a multimedia server is responsible for determining if a new request can be accepted without violating the Quality of Service (QoS) requirements o...
BDIM
2008
IEEE
14 years 22 days ago
2008
IEEE
—Knowing the dependencies among computing assets and services provides insights into the computing and business landscape, therefore, facilitating low-risk timely changes in supp...