Verification of Distributed Dataspace Architectures.
Simona OrzanJaco van de PolPublished in: Ershov Memorial Conference (2003)
Keyphrases
- distributed systems
- management system
- heterogeneous environments
- cooperative
- distributed environment
- distributed network
- peer to peer
- lightweight
- model checking
- fault tolerant
- mobile agents
- layered architecture
- distributed processing
- communication overhead
- distributed data
- computer networks
- artificial intelligence
- data analysis
- multi agent
- web services
- information systems