مجموعه ای از شماره موبایل های ثبت شده مشترکین مزبوط به مشاغل در حوزه ی توزیع کالا ، مناسب برای کسانی که کالا و محصولی برای عرضه به این قشر دارند .
با استفاده از این بانک شماره دیگر لازم نیست روزها وقت بگذارید تا مخاطبان خود را پیدا کنید .
(180 شماره)
با این بانک می توانید در کوتاهترین زمان ممکن پیام تبلیغاتی خود را از طریق پبامک و نرم افزارهای پیام رسان مانند تلگرام و لاین و وایبر به مخاطبین خود ارسال نمایید
و در نهایت افزایش چشمگیری در فروش محصولات خود و یا اطلاع رسانی را تجربه نمایید .
موضوع فارسی :نظارت اکید نظریه استنباط برای
تحلیل خدمات Orchestrations
موضوع انگلیسی :A Strict-Observational Interface Theory for
Analysing Service Orchestrations
تعداد صفحه :15
فرمت فایل :PDF
سال انتشار :2010
زبان مقاله : انگلیسی
سرویس گرا محاسبات است یک سبک معماری پذیرفته شده برای بزرگ در حال توسعه، نرم افزار توزیع
سیستم های. وعده خاصی از معماری مانند ارکستراسیون خدمات، یعنی توانایی ترکیب است
خدمات موجود برای ایجاد قابلیت های پیچیده تر، در نتیجه بازده خدمات جدید است. در این مقاله، ما
بحث در مورد کاربرد در سطح انطباق پروتکل بررسی orchestrations خدمات و پروتکل با استفاده از خدمات
دامنه معنایی معین اتوماتیک ورودی / خروجی (MIOS). بر اساس یک مثال عملی، ما انگیزه
و معرفی مفاهیم جدیدی از پالایش و سازگاری، و ثابت کند که آنها یک رابط معتبر را تشکیل می دهند
تئوری. با این نظریه رابط دامنه خاص، ما یک چارچوب برای تجزیه و تحلیل سطح نرم افزار ارائه
از orchestrations خدمات، بنابراین تکمیل کار موجود در تجزیه و تحلیل سازگاری. نظریه ما این است که ابزار پشتیبانی
از طریق MIO میز کار، یک ابزار امنیتی برای معین اتوماتیک ورودی / خروجی.
موضوع فارسی :مدل سازی مبتنی بر سبک و تایید از خدمات تحمل خطا
معماری گرا
موضوع انگلیسی :Style-based modeling and verification of fault tolerance service
oriented architectures
تعداد صفحه :5
فرمت فایل :PDF
سال انتشار :2011
زبان مقاله : انگلیسی
سرویس گرا معماری (SOA) معماری انعطاف پذیر، سست و پویا برای توسعه های مختلف توزیع شده است
سیستم های. از آنجا که با استفاده از این معماری است هر روز افزایش در طراحی سیستم های نرم افزاری، ایجاد اعتماد در خدمات
این معماری یکی از چالش های اصلی است. با توجه به سطوح مختلف از QoS شامل جنبه های غیر عملکردی مانند
ایمنی امنیتی؛ دسترسی، و غیره برای سیستم قابل اعتماد است. یکی از این جنبه غیر کاربردی تحمل خطا است.
در این مقاله، به منظور داشتن یک سیستم تحمل خطا، ابتدا SOA سبک هسته ای با استفاده از پارامترهای مورد نیاز تمدید شده است.
سپس، ارتباطات و پیکر بندی دوباره مکانیزم های مختلف از تحمل خطا توسط تحول نمودار توسعه یافته اند
قوانین. در نهایت، مدل ارائه شده با استفاده از تکنیک چک کردن مدل های موجود برای سیستم انتقال نمودار تأیید شده است.