Verifiable computation allows a client to outsource computations to a worker with a cryptographic proof of correctness of the result that can be verified faster than performing the computation. Recently, the Pinocchio system achieved faster verification than computation in practice for the first time. Unfortunately, Pinocchio and other efficient verifiable computation systems require the client...

The whole frame of nature_inspired computation systems is inquired into, the characteristics of machine learning in nature_inspired computation systems are researched, and a particular scheme on machine learning in nature_inspired computation systems is designed with environment being gathered present data; study unit adopting fuzzy optimizatio algorithm based on genetic algorithm; knowledge ba...

Formal verification and validation play a crucial role in making cyber-physical systems (CPS) safe. Formal methods make strong guarantees about the system behavior if accurate models of the system can be obtained, including models of the controller and of the physical dynamics. In CPS, models are essential; but any model we could possibly build necessarily deviates from the real world. If the r...