1-Formal verification for security and attacks in IoT physical layer

2-Cluster-based information retrieval by using (K-means)-hierarchical parallel genetic algorithms approach

3-Service to service communication based on CBPS system: refinement and verification

4-Formal modelling and verification of scalable service composition in IoT environment

5-Automated scoring for essay questions in E-learning

6-Formal service conflict detection through abstraction and refinement

7-Correct-by-construction approach for formal verification of IOT architecture

8-Content-based audio retrieval by using elitism GA-KNN approach

9-Ensuring the Correctness and Reliability of CBPS System Using Event‐B

10-An in-depth comparison of software frameworks for developing desktop applications using web technologies

Admin

البحوث المنشورة-علوم الحاسوب

فيسبوكإغلاقبينتريسترديتديليشسواتس اببريد إلكتروني

المنشورات ذات الصلة ...

لا تعليق

اترك تعليقاً

لن يتم نشر عنوان بريدك الإلكتروني. الحقول الإلزامية مشار إليها بـ *