1075 search results - page 97 / 215 » Toward a Verified Relational Database Management System |
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The current implementations of ontology classification procedures use the main memory of the computer for loading and processing ontologies, which soon can become one of...
SPAA
2006
ACM
14 years 2 months ago
2006
ACM
The problem of scalable and robust distributed data storage has recently attracted a lot of attention. A common approach in the area of peer-to-peer systems has been to use a dist...
HPDC
2000
IEEE
14 years 1 months ago
2000
IEEE
The dQUOB system satis es client need for speci c information from high-volume data streams. The data streams we speak of are the ow of data existing during large-scale visualizat...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Generally speaking, digital libraries have multiple granularities of semantic units: book, chapter, page, paragraph and word. However, there are two limitations of current eBook r...
ACSW
2006
13 years 10 months ago
2006
In silico bioinformatics experiments involve integration of and access to computational tools and biological databases. The emerging grid computing technologies enable bioinformat...