A web-integrated verifying compiler for RESOLVE: a research perspective.

Daniel Welch Charles T. Cook Yu-Shan Sun Murali Sitaraman

Published in: ISEC (2014)

Keyphrases

website
web applications
web pages
user generated content
web content
linked data
information sources
web mining
web documents
web technologies
semantic web
viewpoint
general purpose
databases
information resources
web resources
end users
web scale