We present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to maintain consistency. Witnesses, which simply record the status of the file but contain no data, may be used in addition to or in place of files to reduce overhead. We present a model sufficiently detailed to include ...

[...] Anyone capable of glimpsing the changes we have lived through in our own lives can see that Freudianism, however misunderstood it has been and however nebulous its consequences have been, constitutes an intangible but radical revolution. There is no need to go seeking witnesses to the fact: everything that concerns not just the human sciences, but the destiny of man, politics, metaphysics...

Witnet is a decentralized oracle network (DON) that connects smart contracts to the outer world. Generally speaking, it allows any piece of software to retrieve the contents published at any web address at a certain point in time, with complete and verifiable proof of its integrity and without blindly trusting any third party. Witnet runs on a blockchain with a native protocol token (called Wit...

There are many patient groups who may refuse blood products; the most well known amongst them is the Jehovah's Witness faith. Treatment of anaemia and bleeding in such patients presents a challenge to medical, anaesthetic, and surgical teams. This review examines the perioperative issues and management of Jehovah's Witnesses. The history and beliefs of Jehovah's Witnesses are outlined together ...

Traditionally, a verification task is considered solved as soon as a property violation or a correctness proof is found. In practice, this is where the actual work starts: Is it just a false alarm? Is the error reproducible? Can the error report later be re-used for bug fixing or regression testing? The advent of exchangeable witnesses is a paradigm shift in verification, from simple answers tr...

In this paper we cryptanalyse the two accumulator variants proposed by Au et al. [1], which call \(\alpha \)-based construction and common reference string-based (\(\mathcal {CRS}\) -based) construction. We show that if non-membership witnesses are issued according to construction, an attacker has access multiple is able efficiently recover secret parameter \) completely break its security. Mor...