The role of information systems (IS) as representations of real-world systems is changing in
an increasingly digitalized world, suggesting that conceptual modeling is losing its …

Many problems in manufacturing systems can be formulated via Markov stochastic
modeling. This paper gives a review and classification of timed models of manufacturing …

As modern society relies on the fault-free operation of complex computing systems, system
fault-tolerance has become an indispensable requirement. Therefore, we need mechanisms …

The usage of mobile devices like cell phones, navigation systems, or laptop computers, is
limited by the lifetime of the included batteries. This lifetime depends naturally on the rate at …

This paper introduces a unified approach to phase-type approximation in which the discrete
and the continuous phase-type models form a common model set. The models of this …

The modeling and analysis of hybrid systems is a recent and challenging research area
which is actually dominated by two main lines: a functional analysis based on the …

The study of software aging and rejuvenation is based on models that conjugate the
complexity of architectural models with the problem of time dependence of parameters …

The majority of computational methods applied for the analysis of homogeneous Markov
reward models (MRMs) are not applicable for the analysis of inhomogeneous MRMs. By the …

Two asynchronous data communication mechanisms (ACMs) using self-timed circuits are
presented. Mutual exclusion elements are used to concentrate potential metastability to …

A Water Distribution System (WDS) is a critical infrastructure for society and economy,
subject to frequent maintenance either for contingencies or planned operations …