Software Verification in the Google App-Engine Cloud.
Dirk BeyerGeorg DreslerPhilipp WendlerPublished in: CAV (2014)
Keyphrases
- web map service
- mobile apps
- geographical information systems
- cloud computing
- search engine
- mobile applications
- web services
- website
- web pages
- map reduce
- virtual machine
- user experience
- data management
- business models
- open source
- social media
- artificial intelligence
- spatial data
- data sets
- data center
- web search
- social networks
- real world
- neural network