دانلود مقالات ISI درباره جبر فرآیند تصادفی + ترجمه فارسی

On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi

Keywords: جبر فرآیند تصادفی; Stochastic process algebra; Weak bisimulation equivalence; Compositionality; Continuous-time Markov chains; Pseudo-aggregations; Exactness

دانلود رایگان متن کامل مقاله ISI 45 صفحه سال انتشار : 2015 سفارش ترجمه

Efficient solutions of a PEPA model of a key distribution centre

Keywords: جبر فرآیند تصادفی; Secure key exchange; Stochastic process algebra; PEPA; Fluid approximation

دانلود رایگان متن کامل مقاله ISI 17 صفحه سال انتشار : 2010 سفارش ترجمه

Evaluating fluid semantics for passive stochastic process algebra cooperation

Keywords: جبر فرآیند تصادفی; Stochastic process algebra; Fluid approximation; Passive cooperation

دانلود رایگان متن کامل مقاله ISI 25 صفحه سال انتشار : 2010 سفارش ترجمه

Product-forms and functional rates

Keywords: جبر فرآیند تصادفی; Compositionality; RCAT; Stochastic automata networks; Stochastic process algebra

دانلود رایگان متن کامل مقاله ISI 4 صفحه سال انتشار : 2009 سفارش ترجمه

Formal modeling and quantitative evaluation for information system survivability based on PEPA

Keywords: جبر فرآیند تصادفی; survivability; stochastic process algebra; performance evaluation process algebra; formal modeling; quantitative evaluation;

دانلود رایگان متن کامل مقاله ISI 10 صفحه سال انتشار : 2008 سفارش ترجمه

A Novel Formal Analysis Method of Network Survivability Based on Stochastic Process Algebra

Keywords: جبر فرآیند تصادفی; formal analysis; stochastic process algebra; network survivability; performance analysis;

دانلود رایگان متن کامل مقاله ISI 5 صفحه سال انتشار : 2007 سفارش ترجمه

Generating the syntactic and semantics graphs for a Markovian process algebra

Keywords: جبر فرآیند تصادفی; Theoretical computer science; Formal methods; Non-deterministic and probabilistic aspects; Stochastic process algebra; Performance analysis; Real-time requirements; Design specifications; Fault tolerance; Case studies;

دانلود رایگان متن کامل مقاله ISI 10 صفحه سال انتشار : 2007 سفارش ترجمه

Approximation in non-product form finite capacity queue systems

Keywords: جبر فرآیند تصادفی; Finite capacity queue; Variance approximation; Stochastic process algebra

دانلود رایگان متن کامل مقاله ISI 8 صفحه سال انتشار : 2006 سفارش ترجمه

A theory of Stochastic systems. Part II: Process algebra

Keywords: جبر فرآیند تصادفی; Axiomatisation; Bisimulation; Operational semantics; Stochastic automaton; Stochastic process algebra;

دانلود رایگان متن کامل مقاله ISI 36 صفحه سال انتشار : 2005 سفارش ترجمه