nce of Form Abstraction Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstraction is the cornerstone of high-level progr...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...
: In an urban area, the demand for taxis is not always matched up with the supply. This paper proposes mining historical data to predict demand distributions with respect to contex...
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
In this paper, we propose a methodology for addressing trust in Semantic Web Services (SWS) based applications. The aim is to enhance the capability-driven selection provided by c...
Stefania Galizia, Alessio Gugliotta, John Domingue
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...