Performing Simulated Cyber Attacks to Evaluate Security Resilience of Large IT Infrastructures

In the era of digital world, cyber security is a vital part of any computer system. Attack and defensive strategy have always remained...

Composability verification of complex systems using colored petri nets

A Colored Petri Net is a graphical language for construction models of concurrent systems and analyzing their properties. Component is...

Agent-based Crowd Simulation, Analysis and Optimization for Pedestrians flow during Hajj

Hajj is one of the largest mass gatherings where Muslims from all over the world gather in Makah each year for pilgrimage. Such large...

Behavioural Modelling of Household Water Consumption for Effective Water Supply and Management

In this era of science and technology population is moving towards urban infrastructure. The agenda of Urbanization refers have basic...

Crimson

Center for Research in Modeling, Simulation & Vision