1075 search results - page 127 / 215 » Toward a Verified Relational Database Management System |
FPL
2006
Springer
14 years 14 days ago
2006
Springer
A novel framework shows the potential of FPGA-based systems for increasing fault-tolerance and flexibility by placing functionality onto free hardware (HW) or software (SW) resour...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Autonomic computing is being advocated as a tool for maintaining and managing large, complex computing systems. Self-organising multi-agent systems provide a suitable par...
ER
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Past research work on modeling and managing temporal information has, so far, failed to elicit support in commercial database systems. The increasing popularity of XML oļ...
SECRYPT
2010
13 years 6 months ago
2010
: EnCoRe: Towards a holistic approach to privacy Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson HP Laboratories HPL-2010-83 privacy policies...
ICDE
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstractā Deļ¬ning suitable indexes is a major task when optimizing a database. Usually, a human database administrator deļ¬nes a set of indexes in the design phase of the data...