Sciweavers

2106 search results - page 205 / 422
» Operational Semantics for MSC'96
Sort
View
BTW
2003
Springer
115views Database» more  BTW 2003»
15 years 11 months ago
Towards Federated Search Based on Web Services
Abstract: Some emerging trends in the recent development of the WWW can be observed. These trends are technical, like Web Services, as well as semantic, like the integration of ont...
Jens Graupmann, Michael Biwer, Patrick Zimmer
CAISE
2003
Springer
15 years 11 months ago
Process-aware Authoring of Web-based Educational Systems
In this paper we discuss how the concept of ontology can be beneficial for the authoring support of Web-based educational systems (WBES). We take a semantic perspective on the know...
Lora Aroyo, Riichiro Mizoguchi
CCS
2003
ACM
15 years 11 months ago
Origin authentication in interdomain routing
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
William Aiello, John Ioannidis, Patrick Drew McDan...
RIDE
2002
IEEE
15 years 11 months ago
Catalog Integration for Electronic Commerce through Category-Hierarchy Merging Technique
Internet marketplaces are now faced with new challenges that arise from the need to seamlessly integrate enormous number of product catalogs from different sources. In order to he...
Dongkyu Kim, Jaebum Kim, Sang-goo Lee
ICLP
2009
Springer
15 years 10 months ago
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
Marco Gavanelli, Marco Alberti, Evelina Lamma