Lamport's distributed mutual exclusion algorithm

In the paper new electronic signature mechanisms which will be urgent in the post-quantum period development necessity is… Expand

Technologies for eLearning continue to evolve and provide additional mechanisms for teaching and facilitating learner engagement… Expand

ver the past several decades, researchers have suspected and confirmed various links between breakfast consumption and adolescent… Expand

Fault Tolerance Techniques enable systems to perform tasks in the presence of faults. A checkpoint is a local state of a process… Expand

Checkpoint is defined as a designated place in a program at which normal processing is interrupted specifically to preserve the… Expand

This paper presents a polynomial protocol for reaching Byzantine agreement in t + 1 rounds whenever n > 3t, where n is the number… Expand

There has been much interest in decision procedures for testing satisfiability (or validity) of formulae in various systems of… Expand

Proofsystems for proving partial correctness of distributed processes which communicate through message-passing are discussed… Expand