A Formalization of Safely Composable Web Components.
Achim D. BruckerMichael HerzbergPublished in: Arch. Formal Proofs (2020)
Keyphrases
- website
- web applications
- web mining
- semantic web
- web pages
- web information retrieval
- web data
- web documents
- linked data
- web content
- database
- building blocks
- artificial intelligence
- knowledge representation
- end users
- expert systems
- user experience
- digital libraries
- neural network
- web users
- information access
- link analysis
- internet users
- information gathering
- web scale
- data sets