Sciweavers

1075 search results - page 15 / 215
» Toward a Verified Relational Database Management System
Sort
View
DEXAW
2006
IEEE
156views Database» more  DEXAW 2006»
15 years 8 months ago
Social Enterprise Architecture: Towards an Extendable and Scaleable System Architecture for KM
Internet should be used to reduce distances and bring people virtually closer. Using ICT, many people has overcome the problem of digital divided [1] thanks to support of informat...
Flavio Corradini, Alberto Polzonetti, Romeo Pruno,...
101
Voted
ER
2004
Springer
79views Database» more  ER 2004»
15 years 7 months ago
Towards the Managment of Time in Data-Intensive Web Sites
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
Paolo Atzeni, Pierluigi Del Nostro
135
Voted
BTW
2009
Springer
114views Database» more  BTW 2009»
15 years 5 months ago
Efficient Verification of B-tree Integrity
: The integrity of B-tree structures can become compromised for many reasons. Since these inconsistencies manifest themselves in unpredictable ways, all commercial database managem...
Goetz Graefe, R. Stonecipher
ICMCS
2000
IEEE
171views Multimedia» more  ICMCS 2000»
15 years 6 months ago
A Probabilistic-Based Mechanism for Video Database Management Systems
As more information sources become available in multimedia systems, the development of multimedia database management systems (MDBMSs) to efficiently model and search multimedia ...
Mei-Ling Shyu, Shu-Ching Chen, Rangasami L. Kashya...
116
Voted
PSSS
2003
15 years 3 months ago
DLDB: Extending Relational Databases to Support Semantic Web Queries
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
Zhengxiang Pan, Jeff Heflin