6829 search results - page 83 / 1366 » Quantitative Generalizations of Languages |
168
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Standard concurrency control mechanisms offer a trade-off: Transactional memory approaches maximize concurrency, but suffer high overheads and cost for retrying in the case of act...
145
click to vote
TDSC
2010
14 years 11 months ago
2010
We describe Instruction-Set Randomization (ISR), a general approach for safeguarding systems against any type of code-injection attack. We apply Kerckhoffs' principle to creat...
111
click to vote
EUROCRYPT
2009
Springer
16 years 5 months ago
2009
Springer
The notion of Zero Knowledge Proofs (of knowledge) [ZKP] is central to cryptography; it provides a set of security properties that proved indispensable in concrete protocol design...
211
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
The Boolean semantics of SQL queries cannot adequately capture the "fuzzy" preferences and "soft" criteria required in non-traditional data retrieval applicati...
141
click to vote
ISPAN
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...