×

Found 4,403 Documents (Results 1–100)

Choreographies with secure boxes and compromised principals. (English) Zbl 1454.68073

Bonchi, Filippo (ed.) et al., Structured interactions. Proceedings of the 2nd workshop on interaction and concurrency experience, ICE’09, Bologna, Italy, August 31, 2009. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 12, 1-15 (2009).
PDFBibTeX XMLCite
Full Text: Link

Information flow in secret sharing protocols. (English) Zbl 1456.81158

Cooper, S. Barry (ed.) et al., Fifth workshop on developments in computational models – computational models from nature, Rhodes, Greece, July 11, 2009. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 9, 87-97 (2009).
MSC:  81P94 94A62
PDFBibTeX XMLCite
Full Text: arXiv Link

Security theorems via model theory. (English) Zbl 1456.68022

Fröschle, Sibylle (ed.) et al., Proceedings of the 16th international workshop on expressiveness in concurrency, EXPRESS’09, Bologna, Italy, September 5, 2009. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 8, 51-65 (2009).
PDFBibTeX XMLCite
Full Text: Link

The uniform hardcore lemma via approximate Bregman projections. (English) Zbl 1422.68101

Mathieu, Claire (ed.), Proceedings of the 20th annual ACM-SIAM symposium on discrete algorithms, SODA 2009, New York, NY, USA, January 4–6, 2009. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1193-1200 (2009).
PDFBibTeX XMLCite
Full Text: Link

The Johnson-Lindenstrauss lemma almost characterizes Hilbert space, but not quite. (English) Zbl 1423.46020

Mathieu, Claire (ed.), Proceedings of the 20th annual ACM-SIAM symposium on discrete algorithms, SODA 2009, New York, NY, USA, January 4–6, 2009. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 885-891 (2009).
PDFBibTeX XMLCite
Full Text: Link

The extended \(k\)-tree algorithm. (English) Zbl 1422.68266

Mathieu, Claire (ed.), Proceedings of the 20th annual ACM-SIAM symposium on discrete algorithms, SODA 2009, New York, NY, USA, January 4–6, 2009. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 586-595 (2009).
PDFBibTeX XMLCite
Full Text: Link

Combinatorial algorithms for wireless information flow. (English) Zbl 1422.68264

Mathieu, Claire (ed.), Proceedings of the 20th annual ACM-SIAM symposium on discrete algorithms, SODA 2009, New York, NY, USA, January 4–6, 2009. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 555-564 (2009).
MSC:  68W05 94A15
PDFBibTeX XMLCite
Full Text: Link

Compressed counting. (English) Zbl 1422.68304

Mathieu, Claire (ed.), Proceedings of the 20th annual ACM-SIAM symposium on discrete algorithms, SODA 2009, New York, NY, USA, January 4–6, 2009. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 412-421 (2009).
PDFBibTeX XMLCite
Full Text: arXiv Link

High rate fingerprinting codes and the fingerprinting capacity. (English) Zbl 1422.68067

Mathieu, Claire (ed.), Proceedings of the 20th annual ACM-SIAM symposium on discrete algorithms, SODA 2009, New York, NY, USA, January 4–6, 2009. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 336-345 (2009).
MSC:  68P30 94A62 94B60
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

Biographic Reference

all top 3

Software