3819 search results - page 339 / 764 » Simple Easy Terms |
193
Voted
SIGMOD
2011
ACM
14 years 10 months ago
2011
ACM
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
291
Voted
SIGMOD
2011
ACM
14 years 10 months ago
2011
ACM
Table partitioning splits a table into smaller parts that can be accessed, stored, and maintained independent of one another. From their traditional use in improving query perform...
234
Voted
ASIACRYPT
2011
Springer
14 years 7 months ago
2011
Springer
A cryptographic assumption is the (unproven) mathematical statement that a certain computational problem (e.g. factoring integers) is computationally hard. The leakage-resilience l...
222
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
245
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...