From Sequential to Distributed Formal Proofs.

Víctor M. Gulías J. Santiago Jorge Juan J. Quintela José Luis Freire

Published in: EUROCAST (1997)

Keyphrases

formal proofs
distributed systems
distributed environment
multi agent
peer to peer
real time
data mining
cooperative
expert systems
mobile robot
decision trees
genetic algorithm
lightweight
mobile agents
fault tolerant
computing environments
loosely coupled
communication overhead
distributed processing
neural network