Sciweavers

5818 search results - page 223 / 1164
» A reasonable Semantic Web
Sort
View
LOPSTR
1994
Springer
15 years 11 months ago
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
Annalisa Bossi, Sandro Etalle
ENTCS
2002
83views more  ENTCS 2002»
15 years 7 months ago
Operational Semantics for Functional Logic Languages
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
Elvira Albert, Michael Hanus, Frank Huch, Javier O...
OTM
2007
Springer
16 years 1 months ago
URI Identity Management for Semantic Web Data Integration and Linkage
 The Semantic Web vision involves the production and use of large amounts of  RDF  data.  There  have been recent  initiatives amongst  the  Semantic  Web ...
Afraz Jaffri, Hugh Glaser, Ian Millard
JWSR
2011
149views more  JWSR 2011»
15 years 2 months ago
Mediation Spaces for Similarity-Based Semantic Web Services Selection
: Semantic Web Services (SWS) aim at the automated discovery, selection and orchestration of Web services on the basis of comprehensive, machine-interpretable semantic descriptions...
Stefan Dietze, Alessio Gugliotta, John Domingue, M...
ICTAI
2010
IEEE
15 years 5 months ago
Multicriteria Reasoning Considering Reliability or Availability
Abstract--Reliability and/or availability are increasingly important aspects in the design of systems, especially networks and service offerings. Optimization here is a multi-crite...
Tarik Hadzic, Helmut Simonis