Formalization of a voting protocol for virtual organizations.
Jeremy V. PittLloyd Daniel KamaraMarek J. SergotAlexander ArtikisPublished in: AAMAS (2005)
Keyphrases
- virtual organization
- voting protocols
- geographically distributed
- business process
- distributed computing
- formal analysis
- workflow management
- resource sharing
- electronic voting
- artificial intelligence
- conceptual framework
- grid services
- trust management
- knowledge representation
- agent model
- cloud computing
- query processing
- high level
- trusted computing