دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
دانلود کتاب کیفیت سیستم های مبتنی بر ارتباطات: مجموعه مقالات یک کارگاه بین المللی برگزار شده در TU برلین، آلمان، سپتامبر 1994
مشخصات کتاب
Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
ویرایش: [1 ed.] نویسندگان: Julia Padberg (auth.), Günter Hommel (eds.) سری: ISBN (شابک) : 9789401040846, 9789401101875 ناشر: Springer Netherlands سال نشر: 1995 تعداد صفحات: 195 [197] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 Mb
قیمت کتاب (تومان) : 40,000
در صورت تبدیل فایل کتاب Quality of Communication-Based Systems: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کیفیت سیستم های مبتنی بر ارتباطات: مجموعه مقالات یک کارگاه بین المللی برگزار شده در TU برلین، آلمان، سپتامبر 1994 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کیفیت سیستم های مبتنی بر ارتباطات: مجموعه مقالات یک کارگاه بین المللی برگزار شده در TU برلین، آلمان، سپتامبر 1994
کیفیت سیستم‌های مبتنی بر ارتباطات، نتایج تحقیقات دانشجویان Graduiertenkolleg «سیستم‌های مبتنی بر ارتباطات» را به یک جامعه بین‌المللی ارائه می‌کند. برای برانگیختن بحث علمی، از کارشناسان مشهور دعوت شده است تا نظرات خود را در زمینه‌های تحقیقاتی بیان کنند: مشخصات رسمی و مبانی ریاضی سیستم‌های توزیع شده با استفاده از جبر فرآیند، تبدیل‌های نمودار، محاسبات فرآیند و منطق‌های زمانی ارزیابی عملکرد، مدل‌سازی قابلیت اطمینان و تحلیل واقعی سیستم های زمانی با انواع مختلف شبکه های پتری زمان بندی شده مشخصات و تحلیل پروتکل های ارتباطی قابلیت اطمینان، امنیت و قابلیت اطمینان در سیستم های توزیع شده شی گرایی در معماری سیستم های توزیع شده توسعه نرم افزار و مفاهیم برای برنامه های کاربردی توزیع شده معماری و مدیریت شبکه های کامپیوتری مفاهیم زبان برای سیستم های توزیع شده.
توضیحاتی درمورد کتاب به خارجی
Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems\' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas: Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics Performance evaluation, dependability modelling 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
Abstract Datatype Semantics for Algebraic High-Level Nets Using Dynamic Abstract Datatypes....Pages 1-17
Making Statics Dynamic : Towards an Axiomatization for Dynamic ADTs....Pages 19-34
Specification of Concurrent Systems: from Petri Nets to Graph Grammars....Pages 35-52
Towards a Theory of Strong Bisimulation for the Service Rendezvous....Pages 53-67
Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets....Pages 69-84
Performance Modeling with Structured Actions....Pages 85-104
Transient Analysis of Deterministic and Stochastic Petri Nets by the Method of Supplementary Variables....Pages 105-121
Discrete Time Deterministic and Stochastic Petri Nets....Pages 123-136
Bauhaus Linda: An Overview....Pages 137-146
Naming and typing in languages for coordination in open distributed systems....Pages 147-161
An Efficient Implementation of Decoupled Communication in Distributed Environments....Pages 163-177
Extending the Rôle of Object References in Distributed Systems....Pages 179-179
On Protocols for Loss-less Statistical Multiplexing in Integrated Networks....Pages 181-195
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Fertigungsstrukturierung auf der Basis von Teilefamilien
دانلود کتاب Component Database Systems (The Morgan Kaufmann Series in Data Management Systems)
دانلود کتاب Barcelona Like a Local: By the People Who Call It Home (Local Travel Guide)
