Formalization and Verification of Declarative Cloud Orchestration.
Hiroyuki YoshidaKazuhiro OgataKokichi FutatsugiPublished in: ICFEM (2015)
Keyphrases
- knowledge representation
- cloud computing
- face verification
- formal analysis
- model checking
- real time
- data center
- domain independent
- signature verification
- high level
- web services
- concurrent systems
- formal verification
- person identification
- declarative knowledge
- attribute grammars
- functional verification
- false acceptance
- domain specific
- expert systems
- case study
- information systems
- social networks
- information retrieval
- data mining
- neural network