Keyphrases
- grid workflow
- scheduling problem
- scheduling algorithm
- round robin
- parallel machines
- model checking
- social networks
- verification method
- resource constraints
- resource allocation
- scheduling strategy
- face verification
- formal methods
- project scheduling
- flexible manufacturing systems
- dynamic scheduling
- preventive maintenance
- image sequences
- functional verification
- database
- database systems
- signature verification
- special case
- response time
- temporal logic