34 search results - page 6 / 7 » How to Use Vectors for Representing Ground Expressions in th... |
EUROCRYPT
2012
Springer
11 years 9 months ago
2012
Springer
We show that homomorphic evaluation of (wide enough) arithmetic circuits can be accomplished with only polylogarithmic overhead. Namely, we present a construction of fully homomorp...
ASPDAC
2005
ACM
14 years 17 days ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
POPL
2000
ACM
13 years 11 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
MVA
2006
13 years 7 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
IJSSE
2010
13 years 4 months ago
2010
Memory managers are an important part of any modern language: they are used to dynamically allocate memory for use in the program. Many managers exist and depending on the operati...