3334 search results - page 475 / 667 » XML to XML through XML |
158
click to vote
ICDE
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
164
click to vote
ER
2007
Springer
16 years 24 days ago
2007
Springer
The major purpose of the design of distributed databases is to improve system performance and to increase system reliability. Fragmentation and allocation play important roles in t...
148
click to vote
FCT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
159
click to vote
RR
2007
Springer
16 years 22 days ago
2007
Springer
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
186
click to vote
ICALT
2006
IEEE
16 years 20 days ago
2006
IEEE
The approach presented in this paper is intended for the semi-automatic construction of a learning object repository from HTML pages. An extraction method consists of applying the...