Rare-event simulation methods have led to promising algorithms for the quantitative evaluation of systems which are both too complex for a numerical analysis and suffer from unacceptable simulation run times. Dependability prediction during the design ...

Formal models are widely used in performance and dependability studies of computational systems. Graphical modeling tools allow users to compose such models with ease, but they complicate the creation of models with a dynamic/complex structure, the ...

Continuous Time Markov Chains (CTMC) are a mathematical tool widely used in many modeling areas. Main drawback in using CTMCs is the difficulty in building and managing models with a high number of states. In [3] a new modeling technique based on ...

We consider a queueing system with heterogeneous agents. One class of agents demand immediate service, would leave the system if not provided. The second class of customers have longer job requirements and can wait for their turn. We discuss the ...

This paper studies properties of continuous-time Markov chains with one class of transient states and at least two absorbing states. We look at a perturbation of the chain that arises by uniformly decreasing all rates to absorption. For this situation, ...

This paper is about the incremental computation of control sequences in uncertain environments where uncontrollable events may occur. Timed Petri nets under earliest firing policy are used for that purpose. The aim is to drive the marking of the net ...

Modelling and simulation of Big Data analytics processes running in the cloud is a difficult problem which introduces many challenges. The major one is the collection of training data which is scarce and costly to obtain, due to large scale and long ...

With the introduction of ρ-reversibility, the basic notion of reversible Markov chain has been relaxed by allowing a wider range of scenarios. Specifically, the reversibility properties are not just sought on the chain itself, but also on all the ...

In this work, we examine the problem of rumor source inference on a network whose topology is known, given infected nodes and pairwise information in the form of pairwise partial orders on the set of nodes of the underlying graph based on the order in ...

The reliability of multi-core systems-on-chip has been the object of several studies in recent years since these devices are heavily utilized in modern digital equipment at any level of complexity. This level of integration has caused a reduced time to ...