Numerical analysis of Markovian models is relevant for performance evaluation and probabilistic analysis of systems’ behavior from several fields in science and engineering. These models can be represented in a compact fashion using Kronecker algebra. The Vector-Descriptor Product (VDP) is the key operation to obtain stationary and transient solutions of models represented by Kronecker-based de...

Process model matching refers to the automatic identification of corresponding activities between two process models. It represents the basis for many advanced process model analysis techniques such as the identification of similar process parts or process model search. A central problem is how to evaluate the performance of process model matching techniques. Often, not even humans can agree on...

appropriate function of active management in common investment funds function depend on factors such as diversification, identification papers unrealistic pricing, market timing, and so on. market timing are include changing the portfolio investment funds and market indices such as short-term bonds and make an asset depends on whether the market is expected in the whole of the assets to make be...

Distributed computer systems are becoming increasingly prevalent, thanks to moderntechnology, and this leads to significant challenges for the software developers of thesesystems. In particular, in order to provide a certain service level agreement with users,the performance characteristics of the system are critical. However, developers todaytypically consider performance only ...

In the context of liberalized markets, market outcomes generally result from the strategic interactions of all market players. Generation company (Genco), as the distributed players, build their subjective demand evaluations (SDFs) about market for optimal bidding purpose. Due to the differences in terms of data availability and modeling techniques, subjective demand models held by various Genc...

Tracking virus particles in fluorescence microscopy image sequences enables the characterization of the dynamical behavior of these objects. Several approaches have been developed for the task of virus tracking. However, few studies have quantitatively evaluated the performance of the different approaches. Such a comparison is essential to predict the performance of the approaches under realist...

Probabilistic behavior is omnipresent in computer-controlled systems, particular, so-called safety-critical hybrid due to various reasons, like uncertain environments or fundamental properties of nature. In this paper, we extend the existing process algebra ACP[Formula: see text] with probability without sacrificing nondeterministic choice operator. The approximate probabilistic bisimulation re...