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

Cryptographically-masked flows

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

Parametric synchronizations in mobile nominal calculi

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

Spatial-behavioral types for concurrency and resource control in distributed systems

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

Scheduling to maximize participation

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

Security types for dynamic web data

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

Integration of a security type system into a program logic

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

Memoryless search algorithms in a network with faulty advice

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

Using bisimulation proof techniques for the analysis of distributed abstract machines

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

On the limits of cache-oblivious rational permutations

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

A timed semantics of Orc

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