Sentence examples for distributed verification from inspiring English sources

Researchers have proposed the homomorphic distributed verification protocol for guaranteeing the security of data storage in the cloud and pseudorandom data is used by the token pre-computation to determine whether the stored data is correct.

That system is based on distributed verification, rather than central management, and that's exactly its problem.

DiVinE is a general distributed verification environment meant to support the development of distributed enumerative model checking algorithms including probabilistic analysis features used for biological systems analysis [ 40].

The lesson learned from this episode was the need to add a layer to perform distributed state verification and speed up data recovery.

Instead, we propose moving the static api call verification code into the api implementation, and distributing the verification code together with the library proper.

In this paper we present the software tool VEDA for modelling and verification of distributed control systems.

In: ACM SIGMOD International Conference on Management of Data (SIGMOD 1993), May 26-28 , 1993 Washington, D.C.. We present an optimization for integrity constraint verification in distributed databases.

Unlike existing intrusion-fault tolerant solutions, our protocol is based on a distributed and in-network verification scheme, which does not require any referring to the base station.

The main motivation of this paper is to describe an architecture that intends to ease the verification of distributed algorithms and protocols (possibly mobile) through model checking.

Further, on the basis of the IMDS, the Dedan tool for automatic verification of distributed systems has been developed.

Much work is being done to render logical means combining the agent logics discussed and the logical techniques from mainstream computer science for the verification of distributed systems (from section 3), but we are not there yet…!