DiRPOMS: Automatic Checker of Distributed Realizability of POMSets.
Roberto GuancialePublished in: COORDINATION (2019)
Keyphrases
- distributed systems
- cooperative
- semi automatic
- distributed environment
- fully automatic
- communication overhead
- website
- distributed data
- fault tolerant
- real world
- intelligent agents
- distributed network
- distributed computing
- computer networks
- mobile agents
- constraint satisfaction problems
- lightweight
- data driven
- probabilistic model
- multimedia
- computer vision