Towards a formal model of volunteer computing systems.
Wang YuHaiwu HeWang Zhi-JiaPublished in: IPDPS (2009)
Keyphrases
- formal model
- computing systems
- computer systems
- computing technologies
- parallel computing
- autonomic computing systems
- processing units
- security properties
- high end
- computing platform
- databases
- autonomic computing
- predicate calculus
- ubiquitous computing environments
- formal models
- hardware platforms
- database
- software systems
- relational databases
- multi agent
- information systems