A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras.
Natalia LópezManuel NúñezIsmael RodríguezFernando RubioPublished in: IICS (2002)
Keyphrases
- theoretical framework
- main contribution
- process model
- formal model
- mathematical foundations
- formal methods
- database
- probabilistic model
- formal descriptions
- general theory
- mathematical framework
- conceptual framework
- conceptual model
- description logics
- evolutionary algorithm
- multi agent
- image sequences
- e learning
- computer vision