10159 search results - page 1873 / 2032 » System Design Validation Using Formal Models |
SIGMOD
2010
ACM
13 years 6 months ago
2010
ACM
One useful feature that is missing from today’s database systems is an explain capability that enables users to seek clarifications on unexpected query results. There are two t...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
Privacy is an enormous problem in online social networking sites. While sites such as Facebook allow users fine-grained control over who can see their profiles, it is difficult ...
WECWIS
2003
IEEE
14 years 1 months ago
2003
IEEE
The huge success of eBay has proven the demand for customer-to-customer (C2C) electronic commerce. eBay is a centralized infrastructure with all its scalability problems (network ...
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
ICDE
2010
IEEE
14 years 8 months ago
2010
IEEE
Data quality is a critical problem in modern databases. Data entry forms present the first and arguably best opportunity for detecting and mitigating errors, but there has been li...