Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments.
Benjamin AminofAniello MuranoSasha RubinFlorian ZulegerPublished in: AAMAS (2016)
Keyphrases
- grid environment
- multi agent systems
- agent technology
- job scheduling
- grid computing
- data grids
- data access
- grid services
- ant algorithm
- resource allocation
- data transfer
- scheduling algorithm
- data grid
- cooperative
- multi agent
- software agents
- resource management
- load balancing
- computational grids
- intelligent agents
- load balancing strategy
- multiagent systems
- service providers
- security issues
- data intensive
- real time
- electronic commerce
- peer to peer