Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols Read more about Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols
Adaptive Virtual Synchronous Generator Control for Grid Forming Inverters in Islanded AC Microgrid-A Real Time Simulation Read more about Adaptive Virtual Synchronous Generator Control for Grid Forming Inverters in Islanded AC Microgrid-A Real Time Simulation
Virtual Bidding and Profit Maximization Under Constrained and Unconstrained Environment - A Case Study Read more about Virtual Bidding and Profit Maximization Under Constrained and Unconstrained Environment - A Case Study
An Efficient ALU Architecture Topology for Nanotechnology Applications Read more about An Efficient ALU Architecture Topology for Nanotechnology Applications
An Efficient ALU Architecture Topology for Nanotechnology Applications Read more about An Efficient ALU Architecture Topology for Nanotechnology Applications
PV/QV Curve based Optimal Placement of Static Var System in Power Network using DigSilent Power Factory Read more about PV/QV Curve based Optimal Placement of Static Var System in Power Network using DigSilent Power Factory
Improve Cloud Based IoT Architecture Layer Security-A Literature Review Read more about Improve Cloud Based IoT Architecture Layer Security-A Literature Review
Formal specification of asynchronous checkpointing using Event-B Read more about Formal specification of asynchronous checkpointing using Event-B
Web services based path guidance to rescue team alert system during flood Read more about Web services based path guidance to rescue team alert system during flood