961 search results - page 60 / 193 » An Algorithm for Computing Semi-stable Semantics |
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The vision of Semantic Web services is that computer systems shall find eligible services autonomously. This can be realised with providing semantic description about ad...
ECOOP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
GG
2010
Springer
14 years 11 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...
SEMCO
2008
IEEE
15 years 4 months ago
2008
IEEE
Mediation and integration of data are significant challenges because the number of services on the Web, and heterogeneities in their data representation, continue to increase rap...