Designing an Event-based Style for Self-healing systems Journal title: International Research Journal of Applied and Basic Sciences Authors: Meisam Bahrami| Department of Computer Engineering, Malayer Branch,Islamic Azad University, Malayer,... Subject(s): Public Health and Community Medicine
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone Journal title: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems Authors: Tsutomu Kumazawa, Chihiro Yokoyama, Munehiro Takimoto, Yasushi Kambayashi Subject(s): Computer and Information Science, Data Communication and Networks, Industrial Management
An Application of SMC to continuous validation of heterogeneous systems Journal title: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems Authors: Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Q... Subject(s): Computer and Information Science, Data Communication and Networks, Industrial Management
An Application of SMC to continuous validation of heterogeneous systems. Journal title: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems Authors: Alexandre Arnold, Massimo Beleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Q... Subject(s): Computer and Information Science, Data Communication and Networks, Industrial Management
Formal Verification of a Secure Model for Building E-Learning Systems Journal title: International Journal of Advanced Computer Science & Applications Authors: Farhan Obisat, Hazim AlRawashdeh Subject(s):
An Evaluation of A Country Based Anti- Phishing Approach Using Formal Methods Journal title: International Journal of Computer Science & Engineering Technology Authors: Abdullah M. Alnajim Subject(s):
An Algorithmic approach for abstracting transient states in timed systems Journal title: International Journal of Advanced Computer Science & Applications Authors: Mohammed Begdouri, Houda Mokadem, Mohamed Haddad Subject(s):
Role Based Multi-Agent System for E-Learning (MASeL) Journal title: International Journal of Advanced Computer Science & Applications Authors: Mustafa Hameed, Nadeem Akhtar, Malik Missen Subject(s):
Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker with Mutation Testing Approach Journal title: International journal of Emerging Trends in Science and Technology Authors: Manisha Umak Subject(s):
Modeling and Verification of Payment System in E-Banking Journal title: International Journal of Advanced Computer Science & Applications Authors: Iqra Obaid, Syed Asad Raza Kazmi, Awais Qasim Subject(s):
Formal Specification and Analysis of Termination Detection by Weight-throwing Protocol Journal title: International Journal of Advanced Computer Science & Applications Authors: Imran Riaz Hasrat, Muhammad Atif Subject(s):
Formal Analysis and Verification of Agent-Oriented Supply-Chain Management Journal title: International Journal of Advanced Computer Science & Applications Authors: Muhammad Zubair Shoukat, Muhammad Atif, Imran Riaz Hasrat, Nadia Mushtaq, Ijaz Ahmed Subject(s):
The Investigation of TLC Model Checker Properties Journal title: Journal of Information and Organizational Sciences Authors: Vadym Viktorovych Shkarupylo, Igor Tomičić, Kostiantyn Mykolaiovych Kasian Subject(s): Computer and Information Science, Information Technology, Computer Science, Information Systems
A Formal Verification Model for Performance Analysis of Reinforcement Learning Algorithms Applied to Dynamic Networks Journal title: Journal of Applied Computer Science & Mathematics Authors: ALNASER As'ad Mahmoud As'ad Subject(s): Computer and Information Science, Education, Mathematics, Information Theory
Cooperation of multiple autonomous robots and analysis of their swarm behavior Journal title: Autobusy. Technika, Eksploatacja, Systemy Transportowe Authors: B. Czejdo, Wiktor Daszczuk, Waldemar Grabski, Sambit Bhattacharya Subject(s):
