Computers & Internet Books:

Design of Formal Methods Approach to Resolve Disputes

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

Format:

Paperback / softback
$94.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

Buy Now, Pay Later with:

Afterpay is available on orders $100 to $2000 Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 28 Jun - 10 Jul using International Courier

Description

A Framework for Intelligent Situation Analysis, FISA, is proposed. The main contribution of that framework is providing situation awareness in the domain of political disputes. To our knowledge, it is the first attempt for solving political disputes by crossing the gap between the looseness of political situations specifications and the tightness of logical formal methods. Other contributions include exploiting Communicating Sequential Processing, CSP, and the 'fairness' of Linear Temporal Logic, LTL, to provide 'formal' modeling for discovering 'starvation' and 'deadlock' situations. In this respect, the machine-based generation of the CSP processes that represents the situation model is an essential characteristic of the proposed framework. Actually, FISA is capable to answer questions about how to make 'situation change(s)' (based on fairness satisfaction) in order to 'solve' the nondeterminism in the underlying model situations.
Release date Australia
April 30th, 2014
Audience
  • General (US: Trade)
Pages
148
Dimensions
152x229x9
ISBN-13
9783659534164
Product ID
22445496

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

Help & options

Filed under...