Keyphrases
- resource sharing
- linear logic
- load balancing
- grid computing
- resource allocation
- information sharing
- fixed point
- distributed computing
- peer to peer
- logic programming
- virtual organization
- desirable properties
- logical framework
- cloud computing
- sequent calculus
- cut elimination
- network resources
- inference rules
- databases
- artificial intelligence
- natural deduction
- theoretical framework
- business process
- business processes
- e government
- file sharing
- data mining
- real time
- database