Communications of the ACMOpinion

Artificial Intelligence for Software Engineering: From Probable to Provable

Combining the creativity of artificial intelligence with the rigor of formal specification methods and the power of formal ...
GitHub

Web-Based Emergency Evacuation Route Planner using BFS and Dijkstra's Algorithm

Web-Based Emergency Evacuation Route Planner using BFS and Dijkstra's Algorithm EvacuAid is a web application that simulates route planning in an emergency evacuation scenario. The application models ...
IEEE

Enhancing Network Security Algorithm Using Machine Learning

Abstract: In light of the increasing sophistication of cyber threats in today's linked world, network security is of paramount importance. Monitoring network traffic and detecting suspicious activity ...
IEEE

Android Based Malware Detection Technique Using Machine Learning Algorithms

Abstract: The threat landscape has drastically become immense due to the increasing number of Android devices and applications. Android malware detection is an area of research that has seen increased ...