دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000
دانلود کتاب سیستم های مبتنی بر ارتباطات: مجموعه مقالات سومین کارگاه بین المللی برگزار شده در TU برلین، آلمان، 31 مارس - 1 آوریل 2000
مشخصات کتاب
Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000
ویرایش: 1 نویسندگان: Marco Ajmone Marsan, Michela Meo, Matteo Sereno (auth.), Günter Hommel (eds.) سری: ISBN (شابک) : 9789048153992, 9789401596084 ناشر: Springer Netherlands سال نشر: 2000 تعداد صفحات: 198 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب سیستم های مبتنی بر ارتباطات: مجموعه مقالات سومین کارگاه بین المللی برگزار شده در TU برلین، آلمان، 31 مارس - 1 آوریل 2000: تئوری دسته، جبر همسانی، نظریه سیستم ها، کنترل، معماری پردازنده، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل
در صورت تبدیل فایل کتاب Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March – 1 April 2000 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های مبتنی بر ارتباطات: مجموعه مقالات سومین کارگاه بین المللی برگزار شده در TU برلین، آلمان، 31 مارس - 1 آوریل 2000 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های مبتنی بر ارتباطات: مجموعه مقالات سومین کارگاه بین المللی برگزار شده در TU برلین، آلمان، 31 مارس - 1 آوریل 2000
این کارگاه در مورد سیستم های مبتنی بر ارتباطات در نظر گرفته
شده است تا نتایج تحقیقات دانشجویان Graduiertenkolleg "سیستم های
مبتنی بر ارتباطات" را به جامعه بین المللی ارائه دهد. برای تحریک
بحث علمی، از کارشناسان مشهور دعوت شد تا نظرات خود را در
زمینه‌های تحقیقاتی زیر بیان کنند:
- مشخصات رسمی و مبانی ریاضی سیستم‌های توزیع‌شده با استفاده از جبر فرآیند، تبدیل‌های نمودار، محاسبات فرآیند، و منطق‌های زمانی.
- ارزیابی عملکرد، مدل‌سازی قابلیت اطمینان و تحلیل سیستم‌های بلادرنگ با انواع مختلف شبکه‌های پتری زمان‌دار.
- مشخصات و تحلیل پروتکل های ارتباطی;
- قابلیت اطمینان، امنیت و قابلیت اطمینان در سیستم های توزیع شده؛
- شی گرایی در معماری سیستم های توزیع شده.
- توسعه نرم افزار و مفاهیم برای برنامه های کاربردی توزیع شده؛
- معماری و مدیریت شبکه های کامپیوتری؛
- مفاهیم زبان برای سیستم های توزیع شده.
توضیحاتی درمورد کتاب به خارجی
This workshop on Communication-Based Systems is intended to
present the research results of students of the
Graduiertenkolleg `Communication-Based Systems' to an
international community. To stimulate the scientific
discussion, renowned experts were invited to give their views
on the following research areas:
- Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi, and temporal logics;
- Performance evaluation, dependability modeling, and analysis of real-time systems with different kinds of timed Petri-Nets;
- Specification and analysis of communication protocols;
- Reliability, security, and dependability in distributed systems;
- Object orientation in distributed systems architecture;
- Software development and concepts for distributed applications;
- Computer network architecture and management;
- Language concepts for distributed systems.
فهرست مطالب
Front Matter....Pages i-x
GSPN Models of Dual-Band GSM Networks....Pages 1-15
Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets....Pages 17-31
Safe System-Level Diagnosis for Selected Fault Models....Pages 33-42
Fault-Tolerance Mechanisms for a Parallel Programming System — A Responsiveness Perspective....Pages 43-54
Run Time Modification of Algebraic High Level Nets and Algebraic Higher Order Nets using Folding and Unfolding Construction....Pages 55-72
Compositional Specification of Distributed Systems by Distributed Graph Transformation....Pages 73-91
Specifying, Analyzing and Programming Communication Systems in Maude....Pages 93-101
Towards Dynamic Shaping....Pages 103-110
A Personal, Historical Perspective of Parallel Programming for High Performance....Pages 111-118
Automatic Distribution in Pangaea....Pages 119-129
Multiphase Consensus Communication in Collaborative Problem Solving....Pages 131-146
Efficient and Secure Information Sharing in Distributed, Collaborative Environments....Pages 147-162
AI Planning in a Constraint Programming Framework....Pages 163-178
Atomic Broadcast In A Byzantine Model....Pages 179-195
