1615 search results - page 45 / 323 » Computer science and decision theory |
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
MFCS
2010
Springer
13 years 6 months ago
2010
Springer
In the context of modelling cryptographic tools like blind signatures and homomorphic encryption, the DolevYao model is typically extended with an operator over which encryption i...
FOCS
2008
IEEE
14 years 2 months ago
2008
IEEE
We give near-optimal sketching and streaming algorithms for estimating Shannon entropy in the most general streaming model, with arbitrary insertions and deletions. This improves ...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Architecting security solutions for today’s diverse computer systems is a challenge. The modern business environment is comprised of many different applications, e-mail, databas...
ICTCS
2003
Springer
14 years 26 days ago
2003
Springer
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious beh...