A fast method to identify the given Boolean function as a threshold function with weight assignment is introduced. It characterizes the function base...

We propose a new approach for developing and deploying distributed systems, in which nodes predict distributed consequences of their actions and use t...

This article presents the design, implementation, analysis, and experimental evaluation of speakup, a defense against application-level distributed de...

Proactive obfuscation is a new method for creating server replicas that are likely to have fewer shared vulnerabilities. It uses semantics-preserving...

Total order broadcast is a fundamental communication primitive that plays a central role in bringing cheap software-based high availability to a wide...