Aspect Oriented Approach for Capturing and Verifying Distributed Properties.

Published in: Languages: From Formal to Natural (2009)

Keyphrases

distributed systems
distributed environment
multi agent
mobile agents
desirable properties
neural network
machine learning
multiscale
computer networks
computing environments
structural properties
distributed data
distributed learning
scalable distributed