4370 search results - page 797 / 874 » Algebra of Logic Programming |
115
Voted
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
Spreadsheets are among the most commonly used applications for data management and analysis. Perhaps they are even among the most widely used computer applications of all kinds. H...
117
Voted
ITICSE
2000
ACM
15 years 6 months ago
2000
ACM
We are concerned about a view in undergraduate computer science education, especially in the early courses, that it’s okay to be math-phobic and still prepare oneself to become ...
122
click to vote
MPC
2010
Springer
15 years 6 months ago
2010
Springer
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...
118
Voted
ASIACRYPT
2008
Springer
15 years 4 months ago
2008
Springer
Strongly multiplicative linear secret sharing schemes (LSSS) have been a powerful tool for constructing secure multi-party computation protocols. However, it remains open whether o...
130
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...