1209 search results - page 78 / 242 » Universal Algebra and Computer Science |
106
click to vote
CCS
2008
ACM
15 years 1 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...
SIGCSE
2009
ACM
15 years 6 months ago
2009
ACM
Many courses on the history of computing are designed for a general student audience, and as such, include fewer technical details than one might find in a typical CS course. Whi...
CIE
2005
Springer
15 years 5 months ago
2005
Springer
1 and 2, and in the last Section 4 of this abstract I will outline very briefly some conclusions about recursion and complexity which I believe that they support. 1 Partial Algebr...
SIGCSE
2008
ACM
14 years 11 months ago
2008
ACM
In this paper we present the design of a modern course in cluster computing and large-scale data processing. The defining differences between this and previously published designs...
EDUTAINMENT
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we report on an interdisciplinary course "Computing and Art" taught at the Sabanci University, Istanbul for the first time in fall of 2004. We also present...