519 search results - page 69 / 104 » Automatic Semantic Header Generator |
PADL
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
TELECARE
2004
13 years 11 months ago
2004
In this article we present the main features of Aingeru, a system that provides a new kind of tele assistance service. The purpose of developing Aingeru has been to overcome the ma...
FMAM
2010
13 years 7 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
EON
2008
13 years 11 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
VLDB
2004
ACM
14 years 10 months ago
2004
ACM
Abstract. In dynamic environments like the Web, data sources may change not only their data but also their schemas, their semantics, and their query capabilities.When a mapping is ...