دانلود مقاله ISI انگلیسی شماره 156015
ترجمه فارسی عنوان مقاله

در طراحی و تجزیه و تحلیل پروتکل ذخیره سازی پرونده شخصی سلامت در دستگاه های داده شخصی سرور

عنوان انگلیسی
On the design and analysis of protocols for Personal Health Record storage on Personal Data Server devices
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
156015 2018 16 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 13841 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 21 روز بعد از پرداخت 166,092 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 11 روز بعد از پرداخت 332,184 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Future Generation Computer Systems, Volume 80, March 2018, Pages 467-482

پیش نمایش مقاله
پیش نمایش مقاله در طراحی و تجزیه و تحلیل پروتکل ذخیره سازی پرونده شخصی سلامت در دستگاه های داده شخصی سرور

چکیده انگلیسی

We need formal assurance of data availability when information is stored in PDS overlays. Thus, data must be replicated at multiple PDSs. We propose a data replication protocol that ensures that the PHRs for each user have replicas in the PDS overlay. It is crucial to ensure correctness of the data replication protocol. Consequently, we formalize the protocol using the Unified Modeling Language (UML) and specify a number of desirable properties. We need to provide formal assurance of these properties in an automated manner. We demonstrate how the UML model can be transformed into Alloy using the UML-to-Alloy transformations. This obviates the need for the protocol designer to know Alloy. The analysis uncovers a significant error in the protocol. Uncovering such errors help refine the protocol and ensures its correctness before deployment.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 13841 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 21 روز بعد از پرداخت 166,092 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 11 روز بعد از پرداخت 332,184 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.