Specifying and Verifying Web Transactions.

Jing Li Huibiao Zhu Jifeng He

Published in: FORTE (2008)

Keyphrases

website
semantic web
web pages
database
web content
web scale
web applications
web information retrieval
web documents
link analysis
web resources
concurrency control
linked data
end users
data sources
web logs
information space
information retrieval
neural network