Declarative Specification of Fault Tolerant Auction Protocols: the English Auction Case Study.
Nicola DragoniMauro GaspariPublished in: Comput. Intell. (2012)
Keyphrases
- fault tolerant
- case study
- state machine
- fault tolerance
- key distribution
- distributed systems
- high level
- load balancing
- protocol specification
- attribute grammars
- software development
- electronic commerce
- safety critical
- high availability
- real world
- mechanism design
- multi unit
- quality of service
- online auctions
- combinatorial auctions
- formal specification
- bidding strategies
- interconnection networks
- software engineering
- mobile agent system
- data structure