Integrated Model of Distributed Systems Image close
Integrated Model of Distributed Systems on Hardback by Wiktor B. Daszczuk
Integrated Model of Distributed Systems on Hardback by Wiktor B. Daszczuk
Show Hide Adult Content
Integrated Model of Distributed Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer science  
Artificial intelligence

Integrated Model of Distributed Systems

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$270.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $67.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Studies in Computational Intelligence

See all products in this series

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing on Hardback
$335.99
Software Engineering, Artificial Intelligence, Networking and...
Hardback
Pre-order - out 17 Jun 2024
Role of Explainable Artificial Intelligence in E-Commerce on Hardback
$412.99
Role of Explainable Artificial Intelligence in E-Commerce
Hardback
Pre-order - out 24 May 2024
Producing Artificial Intelligent Systems on Hardback
$412.99
Producing Artificial Intelligent Systems
Hardback
Pre-order - out 13 Jun 2024
New Horizons for Fuzzy Logic, Neural Networks and Metaheuristics on Hardback
$361.99
New Horizons for Fuzzy Logic, Neural Networks and Metaheuristics
Hardback
Pre-order - out 17 Jun 2024
Software Engineering and Management: Theory and Application on Hardback
$334.99
Software Engineering and Management: Theory and Application
Hardback
Pre-order - out 5 Jun 2024
Business Analytical Capabilities and Artificial Intelligence-enabled Analytics: Applications and Challenges in the Digital Era, Volume 2 on Hardback
$484.99
Business Analytical Capabilities and Artificial Intelligence-enabled...
Hardback
Pre-order - out 1 Aug 2024
Intelligent Secure Trustable Things on Hardback
$150.99
Intelligent Secure Trustable Things
Hardback
Pre-order - out 16 Jun 2024
Computing Intelligence in Capital Market on Hardback
$359.99
Computing Intelligence in Capital Market
Hardback
Pre-order - out 13 Jun 2024
Artificial Intelligence and Visualization: Advancing Visual Knowledge Discovery on Hardback
$436.99
Artificial Intelligence and Visualization: Advancing Visual Knowledge...
Hardback
Pre-order - out 11 May 2024
Networking and Parallel/Distributed Computing Systems on Hardback
$436.99
Networking and Parallel/Distributed Computing Systems
Hardback
Pre-order - out 4 Jun 2024
Syntactic Networks—Kernel Memory Approach on Hardback by Tetsuya Hoya
$290.99
Syntactic Networks—Kernel Memory Approach
by Tetsuya Hoya ~ Hardback
Pre-order - out 17 Jun 2024
Computer and Information Science and Engineering on Hardback
$337.99
Computer and Information Science and Engineering
Hardback
Pre-order - out 28 Jun 2024
Applying AI-Based Tools and Technologies towards Revitalization of Indigenous and Endangered Languages on Hardback
$358.99
Applying AI-Based Tools and Technologies towards Revitalization of...
Hardback
Pre-order - out 25 May 2024
Business Analytical Capabilities and Artificial Intelligence-Enabled Analytics: Applications and Challenges in the Digital Era, Volume 1 on Hardback
$595.99
Business Analytical Capabilities and Artificial Intelligence-Enabled...
Hardback
Pre-order - out 15 Jun 2024
Intelligent Secure Trustable Things
$126.99
Intelligent Secure Trustable Things
Paperback / softback
Pre-order - out 16 Jun 2024
Complex Networks V on Hardback Save $9
$534.99
$544.95
Complex Networks V
Hardback
Available - Usually ships in 3-4 weeks

Description

In modern distributed systems, such as the Internet of Things or cloud computing, verifying their correctness is an essential aspect. This requires modeling approaches that reflect the natural characteristics of such systems: the locality of their components, autonomy of their decisions, and their asynchronous communication. However, most of the available verifiers are unrealistic because one or more of these features are not reflected. Accordingly, in this book we present an original formalism: the Integrated Distributed Systems Model (IMDS), which defines a system as two sets (states and messages), and a relation of  the "actions" between these sets. The server view and the traveling agent’s view of the system provide communication duality, while general temporal formulas for the IMDS allow automatic verification. The features that the model checks include: partial deadlock and partial termination, communication deadlock and resource deadlock. Automatic verification can supportthe rapid development of distributed systems. Further, on the basis of the IMDS, the Dedan tool for automatic verification of distributed systems has been developed.
Release date Australia
March 26th, 2019
Pages
238
Edition
1st ed. 2020
Audience
  • Professional & Vocational
Illustrations
XVIII, 238 p.
ISBN-13
9783030128340
Product ID
29091335

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Wiktor B. Daszczuk

See all books by this author

Integrated Model of Distributed Systems by Wiktor B. Daszczuk
$270.99
Integrated Model of Distributed Systems
by Wiktor B. Daszczuk ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer science >
Artificial intelligence