Sciweavers

4135 search results - page 153 / 827
» Application Modeling for the Semantic Web
Sort
View
FM
2003
Springer
160views Formal Methods» more  FM 2003»
15 years 9 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
EKAW
2008
Springer
15 years 6 months ago
A Visual Approach to Semantic Query Design Using a Web-Based Graphical Query Designer
Query formulation is a key aspect of information retrieval, contributing to both the efficiency and usability of many semantic applications. A number of query languages, such as SP...
Paul R. Smart, Alistair Russell, Dave Braines, Yan...
CORR
2007
Springer
177views Education» more  CORR 2007»
15 years 4 months ago
N3Logic: A Logical Framework For the World Wide Web
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
Tim Berners-Lee, Dan Connolly, Lalana Kagal, Yosi ...
WWW
2004
ACM
16 years 5 months ago
Publishing museum collections on the semantic web: the museumfinland portal
Museum collections contain large amounts of data and semantically rich, mutually interrelated metadata in heterogeneous databases. The publication of museum collections on the web...
Ahti Syreeni, Arttu Valo, Eero Hyvönen, Eetu ...
HT
2005
ACM
15 years 10 months ago
The evolving mSpace platform: leveraging the semantic web on the trail of the memex
Vannevar Bush proposed the memex as a means to support building knowledge in the way he says the human brain works: by association. Achieving this vision has been a core motivatio...
Monica M. C. Schraefel, Daniel A. Smith, Alisdair ...