Log Analysis of Exploitation in Cloud Computing Environment Using Automated Reasoning.
Ruo AndoKang ByungYouki KadobayashiPublished in: ICONIP (2) (2010)
Keyphrases
- automated reasoning
- log analysis
- cloud computing environment
- cloud computing
- load balancing
- log data
- virtual machine
- knowledge representation
- user behavior
- log files
- theorem prover
- open architecture
- web search engines
- probabilistic reasoning
- query logs
- theorem proving
- load balance
- web search
- distributed computing
- information retrieval
- computing resources
- data center
- search engine
- computing environments
- first order logic
- search logs
- data management
- search algorithm
- databases