A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios.
Einar Broch JohnsenRudolf SchlatteSilvia Lizeth Tapia TarifaPublished in: FoVeOOS (2011)
Keyphrases
- user defined
- formal model
- resource allocation
- resource management
- resource constraints
- web resources
- resource requirements
- resource selection
- data types
- resource consumption
- resource availability
- information resources
- grid environment
- resource usage
- resource sharing
- predicate calculus
- query processor
- resource discovery
- real world
- security properties
- security patterns
- formal models
- database management systems
- query language