Certified symbolic management of financial multi-party contracts.
Patrick BahrJost BertholdMartin ElsmanPublished in: ICFP (2015)
Keyphrases
- multi party
- privacy preserving
- decision making
- management system
- project management
- virtual humans
- audio video
- data management
- mental states
- description language
- multi agent
- information systems
- portfolio optimization
- portfolio management
- human communication
- open source
- object oriented
- supply chain
- risk management
- financial data
- data mining