ورود به حساب کاربری

خرید کتاب A Polynomial Translation of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection Domains

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
A Polynomial Translation of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection Domains

A Polynomial Translation of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection Domains

A Polynomial Translation of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection Domains
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
A Polynomial Translation of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection Domains
از خودتان درباره کتاب توضیح کوتاهی بنویسید
, "The master thesis of Susanne Göbel generates the deep understanding of the Mobile Ambient (MA) calculus that is necessary to use it as a modeling language. Instead of calculus terms a much more convenient representation via MA trees naturally maps to the application area of networks where processes pass hierarchical protection domains like firewalls. The work analyses MA's function principles and derives a translation into Safe Petri nets. It extends to arbitrary MA processes but finiteness of the net and therefore decidability of reachability is only guaranteed for bounded processes. The construction is polynomial in process size and bounds so that reachability analysis is only PSPACE-complete. Contents Translating Mobile Ambient (MA) Processes into Safe Petri Nets - The Idea Managing Names in the Petri Net Translating Mobile Ambient Processes into Safe Petri Nets - Complete Construction From MA to rMA From rMA to MA-PN Polynomial Construction Using a Substitution Net Target Groups Students of Theoretical Computer Science and Verification Researchers in Verification of Process Calculi The Author Susanne Göbel currently works towards her PhD in Computer Science a t the University of Kaiserslautern. She engages in various research projects to help people understand computational frameworks of theory and practice. While devoting most of her free time to her family she still finds time to work as women councilor and on improving studying and working conditions in the faculty",
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2016

نویسنده

Susanne Göbel

ناشر

Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016

شابک

978-3-658-11764-1
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Language and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Frank Drewe...
20
هزار تومان
Guide to Computational Modelling for Decision Processes : Theory, Algorithms, Techniques and Applications

Guide to Computational Modelling for Decision Processes : Theory, Algorithms, Techniques and Applications

Stuart Berr...
20
هزار تومان
Data Structures and Algorithms with Python

Data Structures and Algorithms with Python

Steve Hubbard
20
هزار تومان
Data Structures and Algorithms with Python

Data Structures and Algorithms with Python

بدون نویسنده
20
هزار تومان
Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Stefano Mar...
20
هزار تومان
Guide to Computational Modelling for Decision Processes

Guide to Computational Modelling for Decision Processes

Marcello Tr...
20
هزار تومان
Security with Noisy Data

Security with Noisy Data

Boris Skoric
20
هزار تومان
Genetic Programming Theory and Practice XI

Genetic Programming Theory and Practice XI

Mark Kotanchek
20
هزار تومان
A Polynomial Translation of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection Domains

A Polynomial Translation of Mobile Ambients into Safe Petri Nets : Understanding a Calculus of Hierarchical Protection Domains

20
هزار تومان
Vorkurs Informatik : Der Einstieg ins Informatikstudium

Vorkurs Informatik : Der Einstieg ins Informatikstudium

20
هزار تومان
Economics and Computation : an Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division

Economics and Computation : an Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division

Jörg Rothe
20
هزار تومان
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Sujata Ghos...
20
هزار تومان
Small Dynamic Complexity Classes : an Investigation into Dynamic Descriptive Complexity

Small Dynamic Complexity Classes : an Investigation into Dynamic Descriptive Complexity

Thomas Zeume
20
هزار تومان
Public-Key Cryptography - PKC 2017 : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, the Netherlands, March 28-31, 2017, Proceedings, Part I

Public-Key Cryptography - PKC 2017 : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, the Netherlands, March 28-31, 2017, Proceedings, Part I

Serge Fehr
20
هزار تومان
Transactions on Petri Nets and Other Models of Concurrency XII

Transactions on Petri Nets and Other Models of Concurrency XII

Maciej Kout...
20
هزار تومان
Computer Performance Engineering

Computer Performance Engineering

Anne Remke
20
هزار تومان
Artificial intelligence XXXV : 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11-13, 2018 : proceedings

Artificial intelligence XXXV : 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11-13, 2018 : proceedings

Max A Bramer
20
هزار تومان
Algorithmic Aspects in Information and Management

Algorithmic Aspects in Information and Management

Sergiy Butenko
20
هزار تومان
Sofsem 2018

Sofsem 2018

Jiří Wied...
20
هزار تومان
Algorithms for Computational Biology

Algorithms for Computational Biology

Bianca Truthe
20
هزار تومان
Advances in Intelligent Data Analysis XIII

Advances in Intelligent Data Analysis XIII

Veronica Vi...
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن