دانلود کتاب Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
49,000 تومان
تکنیک های رسمی برای سیستم های کامپیوتری و فرآیندهای تجاری: کارگاه مهندسی عملکرد اروپا، EPEW 2005 و کارگاه بین المللی خدمات وب و روش های رسمی، WS-FM 2005، ورسای، فرانسه، 1-3 سپتامبر 2005. مجموعه مقالات
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 349 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540287019,9783540287018 |
| نوبت چاپ | 1 |
| نویسنده | Gianluigi Zavattaro (eds.), Leïla Kloul, Mario Bravetti, Peter Harrison (auth.) |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تکنیک های رسمی برای سیستم های کامپیوتری و فرآیندهای تجاری: کارگاه مهندسی عملکرد اروپا، EPEW 2005 و کارگاه بین المللی خدمات وب و روش های رسمی، WS-FM 2005، ورسای، فرانسه، 1-3 سپتامبر 2005. مجموعه مقالات
این کتاب مجموعه مقالات داوری دو کارگاه بینالمللی EPEW 2005 (کارگاه مهندسی عملکرد اروپا) و WS-FM 2005 (سرویسهای وب و روشهای رسمی) است که در ورسای، فرانسه در سپتامبر 2005 برگزار شد.
20 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از بین 59 مقاله ارسالی انتخاب شدند. برای EPEW 2005 تنها 10 مقاله – از 32 مقاله ارسال شده – برای ارائه پذیرفته شد. آنها با تئوری صف، تکنیک های مرزبندی، بررسی مدل تصادفی، تجزیه و تحلیل طرح های ارتباطی برای شبکه های محلی پرسرعت، تجزیه و تحلیل QOS در شبکه های بی سیم ad-hoc و تجزیه و تحلیل شبکه های نوری سروکار دارند. موضوعات اصلی 10 مقاله پذیرفته شده برای WS-FM 2005 – از 27 مورد ارسالی – عبارتند از: پروتکل ها و استانداردهای WS (SOAP، WSDL، UDDI، و غیره). زبان ها و روش های توصیف برای رقص / ارکستراسیون / گردش کار (BPML، XLANG و BizTalk، WSFL، WS-BPEL، و غیره)؛ تکنیک های هماهنگی برای WS (معاملات، توافقنامه، خدمات هماهنگی و غیره)؛ خدمات کشف پویا WS مبتنی بر معناشناسی (بر اساس تکنیکهای وب معنایی/هستیشناسی یا سایر نظریههای معنایی)؛ امنیت، ارزیابی عملکرد و کیفیت خدمات WS؛ داده های نیمه ساختار یافته و فناوری های مرتبط با XML؛ مقایسه با فناوری ها/رویکردهای مرتبط مختلف.
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005.
The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers – of the 32 submitted – were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 – from 27 submissions – include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies; comparisons with different related technologies/approaches.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.