distributed predicates can be used to verify the satisfaction of specific properties (represented as predicates) in a given run of …-heuristic algorithm in solving the problem of detecting distributed predicates. Namely, the authors have used the Artificial Bee Colony … algorithm to develop an algorithm to detect distributed predicates. The conducted experiments demonstrate that the ABC …

receiver's committed value. The possible predicates are comparison predicates =, ≠, >, <, ≤, ≥. In this paper, we present an … extension that improves the efficiency of EQ-OCBE protocol, that is, the OCBE protocol for equality predicates. Our extension …

act are approached and assessed. In this way, the authors propose three such sufficient predicates of the “economic …