Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
Biografía del autor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Design of Formal Methods Approach to Resolve Disputes
Imagen del vendedor
Design of Formal Methods Approach to Resolve Disputes
Publicado por
LAP LAMBERT Academic Publishing Apr 2014, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783659534164
Comprar nuevo
EUR 36,90
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Design of Formal Methods Approach to Resolve Disputes
Publicado por
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
Nuevo
Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 148. Nº de ref. del artículo: 26128036658
Comprar nuevo
EUR 58,22
Gastos de envío:
EUR 3,44
A Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Design of Formal Methods Approach to Resolve Disputes
Publicado por
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
Nuevo
Tapa blanda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 131469549
Comprar nuevo
EUR 59,17
Gastos de envío:
EUR 7,39
De Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Design of Formal Methods Approach to Resolve Disputes
Publicado por
VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
Nuevo
Tapa blanda
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 148. Nº de ref. del artículo: 18128036664
Comprar nuevo
EUR 61,04
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Design of Formal Methods Approach to Resolve Disputes
Publicado por
LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: 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 . Nº de ref. del artículo: 5163014
Comprar nuevo
EUR 32,02
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Design of Formal Methods Approach to Resolve Disputes
Publicado por
LAP LAMBERT Academic Publishing Apr 2014, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. 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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 148 pp. Englisch. Nº de ref. del artículo: 9783659534164
Comprar nuevo
EUR 36,90
Gastos de envío:
EUR 60,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Design of Formal Methods Approach to Resolve Disputes
Publicado por
LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783659534164
Comprar nuevo
EUR 36,90
Gastos de envío:
EUR 61,19
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Design of Formal Methods Approach to Resolve Disputes
Publicado por
LAP LAMBERT Academic Publishing, 2014
ISBN 10: 3659534161
ISBN 13: 9783659534164
Nuevo
Taschenbuch
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. Nº de ref. del artículo: 105316374
Comprar nuevo
EUR 33,80
Gastos de envío:
EUR 70,00
De Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles