اختيار الموقع            تسجيل دخول
 

المؤلفين المشاركين
 El Menshawy, Mohamed
  عدد المقالات  : 2
 

Specifying and verifying contract-driven service compositions using commitments and model checking
 Bataineh, Ahmed Saleh - Canada
Bentahar, Jamal - Canada
El Menshawy, Mohamed - Canada
Dssouli, Rachida - Canada

الكلمات الدالة  Automata theory; Autonomous agents; Compliance control; Computation theory; Computer programming; Encoding (symbols); Intelligent agents; Intelligent systems; Multi agent systems; Translation (languages); Web services; Websites
الصفحات  151-184
تم النشر بتاريخ  : 15/05/2017




SMC4AC: A new symbolic model checker for intelligent agent communication /
 El Kholy, Wardaa - جامعة المنوفية - كلية الحاسبات والمعلومات
Bentahar, Jamala - جامعة المنوفية - كلية الحاسبات والمعلومات
El Menshawy, Mohamed - جامعة المنوفية - كلية الحاسبات والمعلومات
Qu, Hongyangc - USA
Dssouli, Rachidad - Canada

الكلمات الدالة  Symbolic model checker, conditional commitment, conditional commitment actions, expressiveness, commitment action modalities, verificatio.
الصفحات  223 - 271 P.
تم النشر في  :  Fundamenta Informaticae
تم النشر بتاريخ  : 06/04/2017
الملحقات  : 1 - Copy.docxتحميل



 


Powered by Future Library Software.All rights reserved © CITC - Mansoura University. Sponsored by Mansoura University Privacy Policy