دانلود کتاب 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. مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب سیستم‌های قابل اعتماد روی پلتفرمهای شبکه‌ای غیرقابل اعتماد: دوازدهمین کارگاه آموزشی مونتری 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
نام کتاب : Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : سیستم‌های قابل اعتماد روی پلتفرمهای شبکه‌ای غیرقابل اعتماد: دوازدهمین کارگاه آموزشی مونتری 2005، لاگونا بیچ، کالیفرنیا، ایالات متحده آمریکا، 22 تا 24 سپتامبر 2005. مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 4322 : Programming and Software Engineering
نویسندگان : Edward A. Lee, Yang Zhao (auth.), Fabrice Kordon, Janos Sztipanovits (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2007
تعداد صفحات : 328
ISBN (شابک) : 3540711554 , 9783540711551
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از داوری کامل دوازدهمین کارگاه بین‌المللی مونتری در سیستم‌های شبکه‌ای با تمرکز ویژه بر تحقق سیستم‌های قابل اعتماد در بالای پلتفرمهای شبکه‌ای غیرقابل اعتماد است که در لاگونا بیچ، کالیفرنیا، ایالات متحده آمریکا، در سپتامبر 2005 برگزار شد. /P>
6 مقاله کامل اصلاح شده ارائه شده همراه با 10 مقاله ارائه شده توسط سخنرانان دعوت شده طی دو دور بررسی و بهبود از بین ارسال های متعدد، با دقت انتخاب شدند. موضوعات عمده تحت پوشش کارگاه شامل توسعه نرم‌افزار مبتنی بر مدل سیستم‌های شبکه محور، پایه‌های انتزاع‌های طراحی و برنامه‌نویسی آینده، مدیریت فعال خطا در سیستم‌های شبکه محور، میان‌افزار هوشمند و قوی، و همچنین مدل توسعه مبتنی بر سیستم های قابل تایید.
فهرست مطالب :
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 -
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی