1075 search results - page 155 / 215 » Toward a Verified Relational Database Management System |
COMPUTER
2004
13 years 8 months ago
2004
After thirty years of work on computer security, why are almost all the systems in service today extremely vulnerable to attack? The main reason is that security is expensive to s...
SIGMOD
2011
ACM
12 years 11 months ago
2011
ACM
Central to a data cleaning system are record matching and data repairing. Matching aims to identify tuples that refer to the same real-world object, and repairing is to make a dat...
GPCE
2007
Springer
14 years 2 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
We propose to demonstrate SGL, a language and system for writing computer games using data management techniques. We will demonstrate a complete game built using the system, and s...
CBMS
2006
IEEE
14 years 14 days ago
2006
IEEE
Electronic Medical Records are important to manage health data and save lives to improve the quality of service in hospitals. Clinical medical records contain a wealth of informat...