دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

تست واقعی پاداش برای فرآیندهای احتمالی

Real-reward testing for probabilistic processes

21 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

اصلاح انتزاع محلی برای برنامه های زمانبندی احتمالی

Local abstraction refinement for probabilistic timed programs

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

طیف کمی زمان سنجی زمان-شاخه ای

The quantitative linear-time-branching-time spectrum

16 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

برنامه ریزان بهینه در مقابل پایگاه های بهینه: یک روش برای حل دقیق کارآمد از فرآیند تصمیم گیری مارکوف

Optimal schedulers vs optimal bases: An approach for efficient exact solving of Markov decision processes

14 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

مقایسه درهم آمیختگی و مجموعه های فراوان در زمان شاخه ای احتمالاتی و غیر احتمالاتی

A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time

21 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

تجزیه و تحلیل جریان اطلاعات کمی دقیق - یک رویکرد نمادین

Precise quantitative information flow analysis- a symbolic approach

16 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

لومپلکس دقیق مایع در جبر مارکوویچ فرآیند

Exact fluid lumpability in Markovian process algebra

27 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

Editorial Board

7 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete

14 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms

19 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه

Quantitative information flow as safety and liveness hyperproperties

16 صفحه فرمت PDF سال انتشار : 2014 دانلود متن کامل مقاله ISI سفارش ترجمه