1075 search results - page 61 / 215 » Toward a Verified Relational Database Management System |
129
click to vote
VISUAL
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...
217
click to vote
ICDE
2002
IEEE
16 years 5 months ago
2002
IEEE
The emergence of electronic marketplaces and other electronic services and applications on the Internet is creating a growing demand for effective management of resources. Due to ...
180
Voted
AINA
2011
IEEE
14 years 7 months ago
2011
IEEE
—Currently the user’s web search is disjoint from the resources which is subsequently browsed. Specifically the related instances of the search are not displayed on the followi...
160
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
More and more applications rely heavily on large amounts of data in the distributed storages collected over time or produced by large scale scientific experiments or simulations. ...
150
click to vote
PVLDB
2008
15 years 3 months ago
2008
This paper introduces Clustera, an integrated computation and data management system. In contrast to traditional clustermanagement systems that target specific types of workloads,...