Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Dr. Samer Nabil is a researcher at national research center, Egypt. He received his BS from Military Technical College in 1988, MSc from Al.Azhar University on 2005 and PhD from Cairo University in Jun 2013 all in Computer Engineering. His fields of interest include data mining, knowledge discovery, pattern analysis and machine intelligence.
"About this title" may belong to another edition of this title.
Search results for Design of Formal Methods Approach to Resolve Disputes
Seller Image
Design of Formal Methods Approach to Resolve Disputes
Published by
LAP LAMBERT Academic Publishing Apr 2014, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 148 pp. Englisch. Seller Inventory # 9783659534164
Buy New
US$ 44.30
US$ 26.81 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Design of Formal Methods Approach to Resolve Disputes
Published by
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 148. Seller Inventory # 26128036658
Stock Image
Design of Formal Methods Approach to Resolve Disputes
Published by
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 148 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam. Seller Inventory # 131469549
Buy New
US$ 66.78
US$ 8.73 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Design of Formal Methods Approach to Resolve Disputes
Published by
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 148. Seller Inventory # 18128036664
Buy New
US$ 72.68
US$ 11.60 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Design of Formal Methods Approach to Resolve Disputes
Published by
LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Nabil Mohamed SamerDr. Samer Nabil is a researcher at national research center, Egypt. He received his BS from Military Technical College in 1988, MSc from Al.Azhar University on 2005 and PhD from Cairo University in Jun 2013 all in . Seller Inventory # 5163014
Buy New
US$ 38.44
US$ 57.10 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Design of Formal Methods Approach to Resolve Disputes
Published by
LAP LAMBERT Academic Publishing Apr 2014, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 148 pp. Englisch. Seller Inventory # 9783659534164
Buy New
US$ 44.30
US$ 69.93 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Design of Formal Methods Approach to Resolve Disputes
Published by
LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9783659534164
Buy New
US$ 44.30
US$ 71.32 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Design of Formal Methods Approach to Resolve Disputes
Published by
LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Design of Formal Methods Approach to Resolve Disputes | Samer Nabil Mohamed | Taschenbuch | 148 S. | Englisch | 2014 | LAP LAMBERT Academic Publishing | EAN 9783659534164 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. Seller Inventory # 105316374
Buy New
US$ 40.76
US$ 81.59 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available