دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
دانلود کتاب سیستم‌های قابل اعتماد روی پلت‌فرم‌های شبکه‌ای غیرقابل اعتماد: دوازدهمین کارگاه آموزشی مونتری 2005، لاگونا بیچ، کالیفرنیا، ایالات متحده آمریکا، 22 تا 24 سپتامبر 2005. مقالات منتخب اصلاح شده
مشخصات کتاب
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
دسته بندی: فن آوری ویرایش: 1 نویسندگان: Edward A. Lee, Yang Zhao (auth.), Fabrice Kordon, Janos Sztipanovits (eds.) سری: Lecture Notes in Computer Science 4322 : Programming and Software Engineering ISBN (شابک) : 3540711554, 9783540711551 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 328 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب سیستم‌های قابل اعتماد روی پلت‌فرم‌های شبکه‌ای غیرقابل اعتماد: دوازدهمین کارگاه آموزشی مونتری 2005، لاگونا بیچ، کالیفرنیا، ایالات متحده آمریکا، 22 تا 24 سپتامبر 2005. مقالات منتخب اصلاح شده: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، عملکرد و ارزیابی سیستم
در صورت تبدیل فایل کتاب Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم‌های قابل اعتماد روی پلت‌فرم‌های شبکه‌ای غیرقابل اعتماد: دوازدهمین کارگاه آموزشی مونتری 2005، لاگونا بیچ، کالیفرنیا، ایالات متحده آمریکا، 22 تا 24 سپتامبر 2005. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم‌های قابل اعتماد روی پلت‌فرم‌های شبکه‌ای غیرقابل اعتماد: دوازدهمین کارگاه آموزشی مونتری 2005، لاگونا بیچ، کالیفرنیا، ایالات متحده آمریکا، 22 تا 24 سپتامبر 2005. مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از داوری کامل دوازدهمین کارگاه بین‌المللی مونتری در سیستم‌های شبکه‌ای با تمرکز ویژه بر تحقق سیستم‌های قابل اعتماد در بالای پلت‌فرم‌های شبکه‌ای غیرقابل اعتماد است که در لاگونا بیچ، کالیفرنیا، ایالات متحده آمریکا، در سپتامبر 2005 برگزار شد. /P>
6 مقاله کامل اصلاح شده ارائه شده همراه با 10 مقاله ارائه شده توسط سخنرانان دعوت شده طی دو دور بررسی و بهبود از بین ارسال های متعدد، با دقت انتخاب شدند. موضوعات اصلی تحت پوشش این کارگاه شامل توسعه نرم‌افزار مبتنی بر مدل سیستم‌های مبتنی بر شبکه، پایه‌های طراحی و برنامه‌نویسی آینده، مدیریت فعال خطا در سیستم‌های شبکه محور، میان‌افزار هوشمند و قوی، و همچنین مدل توسعه مبتنی بر سیستم های قابل تایید.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with special focus on realization of reliable systems on top of unreliable networked platforms, held in Laguna Beach, CA, USA, in September 2005.
The 6 revised full papers presented together with 10 papers contributed by the invited speakers were carefully selected during two rounds of reviewing and improvement from numerous submissions. Major issues covered by the workshop contributions include model-based software development of network-centric system-of-systems, foundations of future design and programming abstractions, active fault management in network-centric systems, intelligent and robust middleware, as well as model-based development of certifiable systems.
فهرست مطالب
Front Matter....Pages -
Reinventing Computing for Real Time....Pages 1-25
Applying Service-Oriented Development to Complex Systems: BART Case Study....Pages 26-46
Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study....Pages 47-69
The GridLite DREAM: Bringing the Grid to Your Pocket....Pages 70-87
DARX - A Self-healing Framework for Agents....Pages 88-105
Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN)....Pages 106-120
A Factory to Design and Build Tailorable and Verifiable Middleware....Pages 121-142
A Concurrency Abstraction for Reliable Sensor Network Applications....Pages 143-160
Outdoor Distributed Computing with Split Smart Messages....Pages 161-183
Towards a Real-Time Coordination Model for Mobile Computing....Pages 184-202
Dynamic System Reconfiguration Via Service Composition for Dependable Computing....Pages 203-224
A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems....Pages 225-247
Providing Dependable Services with Unreliable SoCs—The DECOS Approach....Pages 248-257
Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems....Pages 258-280
Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems....Pages 281-303
Approaches for Inheritance in the TMO Programming Scheme....Pages 304-316
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Engine Tribology
دانلود کتاب Engineering of Functional Skeletal Tissues
دانلود کتاب The design of engineering systems
دانلود کتاب Making Sense of Life: Explaining Biological Development with Models, Metaphors, and Machines
دانلود کتاب Solution manual of Thermodynamics an engineering approach sixth edition SI units
دانلود کتاب Technical Functions: On the Use and Design of Artefacts
دانلود کتاب Robust Control and Filtering of Singular Systems
دانلود کتاب Infrared Heating for Food and Agricultural Processing (Contemporary Food Engineering)
دانلود کتاب Rationale management in software engineering
