1209 search results - page 145 / 242 » Universal Algebra and Computer Science |
113
Voted
ITICSE
2005
ACM
15 years 8 months ago
2005
ACM
Established as a research project at the University of Illinois in the spring of 2002, eFuzion has proven to be a valuable and effective pedagogical set of tools. It provides the ...
119
Voted
ISVD
2010
IEEE
15 years 1 months ago
2010
IEEE
—We study the topology of the Megaparsec Cosmic Web on the basis of the Alpha Shapes of the galaxy distribution. The simplicial complexes of the alpha shapes are used to determin...
127
Voted
FOCS
2010
IEEE
15 years 19 days ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
116
Voted
DBPL
1993
Springer
15 years 6 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
139
Voted
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...