انتشار ایمن بازپیکربندی در محاسبات فراگیر مؤلفه مبنا

سال انتشار: 1385
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,612

فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ICEE14_212

تاریخ نمایه سازی: 25 تیر 1387

چکیده مقاله:

بازپیکربندی سیستم های نرم افزاری موجود در شبکه به دلیل وابستگی های آن ها در زمان اجرا، مفهوم انتشار بازپیکربندی را به دنبال می آورد. هدف از این مقاله، ارائه یک مدل مناسب برای بازپیکربندی سیستم ها و انتشار آن در محیط محاسبات فراگیر می باشد به گون های که ایمنی کل بازپیکربندی را تضمین نماید. ایمنی کل بازپیکربندی یا ایمنی انتشار در این مقاله تعریف شده و براساس آن دو الگوریتم انتشار ایمن، برای دو نوع انتشاری که در این مقاله شناسایی شده اند، ارائه شده است. به عنوان ارزیابی و اثبات درستی، خاصیت ایمنی برای الگوریتم انتشار با استفاده از منطق زمانی اثبات شده است.

نویسندگان

کاملیا اسدزاده منجیلی

دانشگاه صنعتی شریف، دانشکده مهندسی کامپیوتر

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • M. S aty anarayanan, "Pervasive Computing Vision and Challenges", IEEE ...
  • P. D. Gray, D. Salber; "Modelling and Using Sensed Context ...
  • S. Bradbury, "Organizing Definitions and Formalisms for Dynamic Software Architectures ...
  • M. Larsson and I. Crnkovic, _ Configuration management for co ...
  • T. Eisenbarth, R. Koschke and D. Simon, "Derivation of Feature ...
  • K. A sadzadeh- Manj ili, M. Niamanesh, R. Jalili, "A ...
  • K. A sadzadeh -Manj ili , M. Niamanesh, R. Jalili, ...
  • J. M. Garcia and J. Duato, "An Algorithm for Dynamic ...
  • نمایش کامل مراجع