Considering the safety significance, safety critical systems (SCS) of nuclear power plant
(NPP) needs to be validated for their performance. Authors are putting their continuous …

Delay and Disruption Tolerant Networking (DTN) is a network architecture created basically
to overcome non-continuing connectivity. There has been a great deal of research on this …

Recent years have seen a significant growth in Internet of Things (IoT) technology consisting
of a large number of devices embedded with sensors and deployed to perform monitoring …

We perform a study on the buffer occupancy 1 and its steady-state properties in a mobile
opportunistic network (MON) for different forwarding strategies. Nodes in MON adhere to …

Formal modeling is considered one of the fundamental phases in the design of network
algorithms, including Active Queue Management (AQM) schemes. This article focuses on …

Vehicular Cyber-Physical System (VCPS) provides CPS services via exploring the sensing,
computing and communication capabilities on vehicles. VCPS is deeply influenced by the …

In order to optimize traffic flows and power consumption of network components, various
green routing algorithms and protocols have been proposed. These algorithms and …

Since the energy domain is in a transformative shift towards sustainability, the integration of
new technologies and smart systems into traditional power grids has emerged. As an …

Current research examining delay tolerant network (DTN) routing policies mostly focuses on
network environments with relatively abundant resources and lacks consideration of …

The increasing penetration of distributed energy resources (DERs) and local/small-scale
power systems, named microgrids (MG), becomes a growing challenge for distribution …