Verification of Vortex Workflows.
Xiang FuTevfik BultanRichard HullJianwen SuPublished in: TACAS (2001)
Keyphrases
- grid workflow
- data processing
- model checking
- high density
- web services
- business processes
- databases
- temporal logic
- verification method
- business process
- face verification
- asynchronous circuits
- artificial intelligence
- high temperature
- concurrent systems
- workflow systems
- workflow management
- information systems
- image sequences
- image segmentation
- case study