70 search results - page 3 / 14 » Towards Verifying Semistructured Data |
ESORICS
2009
Springer
14 years 6 months ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
CAISE
2006
Springer
13 years 9 months ago
2006
Springer
This paper presents an architecture of ontological components for the Semantic Web. Many methods and methodologies can be found in the literature. Generally, they are dedicated to ...
WWW
2006
ACM
14 years 6 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
APWEB
2009
Springer
13 years 9 months ago
2009
Springer
We present a new method to evaluate a search ontology, which relies on mapping ontology instances to textual documents. On the basis of this mapping, we evaluate the adequacy of on...
CSCWD
2008
Springer
13 years 7 months ago
2008
Springer
With an increasing amount of semi-structured data XML has become important. XML documents may contain private information that cannot be shared by all user communities. Therefore,...