A Proof-Carrying-Code Infrastructure for Resources.
Hans-Wolfgang LoidlKenneth MacKenzieSteffen JostLennart BeringerPublished in: LADC (2009)
Keyphrases
- limited resources
- source code
- resource sharing
- resource management
- resource constraints
- computing resources
- resource allocation
- computing environments
- service provisioning
- neural network
- theorem proving
- theorem prover
- data collection
- binary codes
- data sets
- code generation
- open data
- cloud services
- application programming interface
- database