دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
دانلود کتاب تکنیک های رسمی برای سیستم های کامپیوتری و فرآیندهای کسب و کار: کارگاه مهندسی عملکرد اروپا، EPEW 2005 و کارگاه آموزشی بین المللی خدمات وب و روش های رسمی، WS-FM 2005، ورسیل، فرانسه، 1-3 سپتامبر 2005. پرونده ها
مشخصات کتاب
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
ویرایش: [1 ed.] نویسندگان: Peter Harrison (auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.) سری: Lecture Notes in Computer Science 3670 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540287019, 9783540287018 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 349 [360] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های کامپیوتری و فرآیندهای کسب و کار: کارگاه مهندسی عملکرد اروپا، EPEW 2005 و کارگاه آموزشی بین المللی خدمات وب و روش های رسمی، WS-FM 2005، ورسیل، فرانسه، 1-3 سپتامبر 2005. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی برای سیستم های کامپیوتری و فرآیندهای کسب و کار: کارگاه مهندسی عملکرد اروپا، 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.
فهرست مطالب
Front Matter....Pages -
Performance Engineering and Stochastic Modelling....Pages 1-14
Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems....Pages 15-17
PiDuce : A Process Calculus with Native XML Datatypes....Pages 18-34
Life After BPEL?....Pages 35-50
On Moments of Discrete Phase-Type Distributions....Pages 51-63
Zero-Automatic Queues....Pages 64-78
A Unified Approach to the Moments Based Distribution Estimation – Unbounded Support....Pages 79-93
Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering....Pages 94-108
Stochastic Model Checking with Stochastic Comparison....Pages 109-123
Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel....Pages 124-138
Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments....Pages 139-154
Hypergraph Partitioning for Faster Parallel PageRank Computation....Pages 155-171
Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters....Pages 172-186
A Diffusion Approximation Model of an Electronic-Optical Node....Pages 187-199
Choreographing Security and Performance Analysis for Web Services....Pages 200-214
Application of Formal Methods to the Analysis of Web Services Security....Pages 215-229
Automatic Translation of WS-CDL Choreographies to Timed Automata....Pages 230-242
Executable Semantics for Compensating CSP....Pages 243-256
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step....Pages 257-271
From Theory to Practice in Transactional Composition of Web Services....Pages 272-286
Timing Issues in Web Services Composition....Pages 287-302
A Compositional Operational Semantics for OWL-S....Pages 303-317
A Parametric Communication Model for the Verification of BPEL4WS Compositions....Pages 318-332
Reasoning About Interaction Patterns in Choreography....Pages 333-348
Back Matter....Pages -
