𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Distributed Computing and Networking Volume 7129 || Towards a Universal Construction for Transaction-Based Multiprocess Programs

✍ Scribed by Bononi, Luciano; Datta, Ajoy K.; Devismes, Stéphane; Misra, Archan

Book ID
111982769
Publisher
Springer Berlin Heidelberg
Year
2012
Tongue
English
Weight
288 KB
Edition
1
Category
Article
ISBN
3642259596

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the refereed proceedings of the 13th International Conference on Distributed Computing and Networking, ICDCN 2012, held in Hong Kong, China, during January 3-6, 2012. The 36 revised full papers and 1 short paper presented together with 4 poster papers were carefully reviewed and selected from 100 submissions. The papers address all current issues in the field of distributed computing and networking. Being a leading forum for researchers and practitioners to exchange ideas and share best practices, ICDCN also hosts as a forum for PhD students to discuss their research ideas and get quality feedback from the well-renowned experts in the field of distributed computing and computer networking.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 6527 || A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs
✍ Davies, Jim; Silva, Leila; Simao, Adenilso 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 267 KB

This Book Constitutes The Thoroughly Refereed Post-conference Proceedings Of The 13th Brazilian Symposium On Formal Methods, Sbmf 2010, Held In Natal, Brazil, In November 2010. The 18 Revised Full Papers Were Carefully Reviewed And Selected From 55 Submissions. The Papers Presented Cover A Broad Ran

[Lecture Notes in Computer Science] Towa
[Lecture Notes in Computer Science] Towards Trustworthy Elections Volume 6000 || An Implementation of a Mix-Net Based Network Voting Scheme and Its Use in a Private Organization
✍ Chaum, David; Jakobsson, Markus; Rivest, Ronald L.; Ryan, Peter Y. A.; Benaloh, 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 421 KB

For many years now, cryptography has been keeping messages secure for senders, irrespective of the routing to the destination. This same technology can be used to keep votes secure for voters, from the casting of the vote all the way through to the inclusion of the vote in the final tally. This stat