دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
دانلود کتاب تکنیک های رسمی برای سیستم های شبکه و توزیع شده - FORTE 2004: بیست و چهارمین کنفرانس بین المللی IFIP WG 6.1 ، مادرید اسپانیا ، 27-30 سپتامبر ، 2004. مجموعه مقالات
مشخصات کتاب
Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
ویرایش: 1 نویسندگان: Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.) سری: Lecture Notes in Computer Science 3235 ISBN (شابک) : 9783540232520, 3540232524 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 388 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 31,000
کلمات کلیدی مربوط به کتاب تکنیک های رسمی برای سیستم های شبکه و توزیع شده - FORTE 2004: بیست و چهارمین کنفرانس بین المللی IFIP WG 6.1 ، مادرید اسپانیا ، 27-30 سپتامبر ، 2004. مجموعه مقالات: شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، منطق و معانی برنامه ها، سیستم عامل ها
در صورت تبدیل فایل کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های شبکه و توزیع شده - FORTE 2004: بیست و چهارمین کنفرانس بین المللی IFIP WG 6.1 ، مادرید اسپانیا ، 27-30 سپتامبر ، 2004. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی برای سیستم های شبکه و توزیع شده - FORTE 2004: بیست و چهارمین کنفرانس بین المللی IFIP WG 6.1 ، مادرید اسپانیا ، 27-30 سپتامبر ، 2004. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و چهارمین کنفرانس بین‌المللی IFIP WG 6.1 در تکنیک‌های رسمی برای سیستم‌های شبکه‌ای و توزیع‌شده، FORTE 2004، در مادرید، اسپانیا، در سپتامبر 2004 است.
20 مورد اصلاح شده کامل مقالات ارائه شده به همراه 3 مقاله دعوت شده به دقت بررسی و از بین 54 مقاله ارسالی انتخاب شدند. از جمله موضوعات پرداخته شده عبارتند از مشخصات مبتنی بر حالت، اشیاء جاوای توزیع شده، UML و SDL، تأیید الگوریتم، خودکارهای ارتباطی، بازیابی طراحی، آزمایش پروتکل رسمی، آزمایش و بررسی مدل، سیستم های بلادرنگ توزیع شده، ترکیب رسمی، آزمایش توزیع شده، خودکار برای ACTL، نمایش فضای حالت نمادین، حساب پی، همزمانی، شبکه‌های پتری، تأیید پروتکل مسیریابی، و تشخیص نفوذ.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004.
The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection.
فهرست مطالب
Front Matter....Pages -
Contested Nature of Place : Knowledge Mapping for Resolving Ontological Distinctions Between Geographical Concepts....Pages 1-21
Geo-Self-Organizing Map (Geo-SOM) for Building and Exploring Homogeneous Regions....Pages 22-37
Can Relative Adjacency Contribute to Space Syntax in the Search for a Structural Logic of the City?....Pages 38-50
Semi-automatic Ontology Alignment for Geospatial Data Integration....Pages 51-66
Modeling Surface Hydrology Concepts with Endurance and Perdurance....Pages 67-80
Procedure to Select the Best Dataset for a Task....Pages 81-93
Floating-Point Filter for the Line Intersection Algorithm....Pages 94-105
Project Lachesis: Parsing and Modeling Location Histories....Pages 106-124
The SPIRIT Spatial Search Engine: Architecture, Ontologies and Spatial Indexing....Pages 125-139
Comparing Exact and Approximate Spatial Auto-regression Model Solutions for Spatial Data Analysis....Pages 140-161
3D GIS for Geo-coding Human Activity in Micro-scale Urban Environments....Pages 162-178
Arc_Mat, a Toolbox for Using ArcView Shape Files for Spatial Econometrics and Statistics....Pages 179-190
A Predictive Uncertainty Model for Field-Based Survey Maps Using Generalized Linear Models....Pages 191-205
Information Dissemination in Mobile Ad-Hoc Geosensor Networks....Pages 206-222
Public Commons of Geographic Data: Research and Development Challenges....Pages 223-238
Alternative Buffer Formation....Pages 239-250
Effect of Category Aggregation on Map Comparison....Pages 251-268
Simplifying Sets of Events by Selecting Temporal Relations....Pages 269-284
Towards a Temporal Extension of Spatial Allocation Modeling....Pages 285-298
Formalizing User Actions for Ontologies....Pages 299-312
Landmarks in the Communication of Route Directions....Pages 313-326
From Objects to Events: GEM, the Geospatial Event Model....Pages 327-343
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Hard to Be Human: Overcoming Our Five Cognitive Design Flaws
دانلود کتاب Accessoires en lino et Liberty
دانلود کتاب Les Liaisons de transport entre l’Europe et l’Asie
دانلود کتاب Nachtrag zu: Normalien, Vorschriften und Leitsätze des Verbandes Deutscher Elektrotechniker
