Abstract is missing.
- Verifying High-Confidence Interactive Systems: Electronic Voting and BeyondSanjit A. Seshia. 1-10 [doi]
- Fast Distributed PageRank ComputationAtish Das Sarma, Anisur Rahaman Molla, Gopal Pandurangan, Eli Upfal. 11-26 [doi]
- Dealing with Undependable Workers in Decentralized Network SupercomputingSeda Davtyan, Kishori M. Konwar, Alexander Russell, Alexander A. Shvartsman. 27-41 [doi]
- Decentralized Erasure Coding for Efficient Data Archival in Distributed Storage SystemsLluis Pamies-Juarez, Frédérique E. Oggier, Anwitaman Datta. 42-56 [doi]
- Transport Protocol with Acknowledgement-Assisted Storage Management for Intermittently Connected Wireless Sensor NetworksYing Li, Radim Bartos, James Swan. 57-71 [doi]
- Iterative Approximate Byzantine Consensus under a Generalized Fault ModelLewis Tseng, Nitin H. Vaidya. 72-86 [doi]
- A Scalable Byzantine GridAlexandre Maurer, Sébastien Tixeuil. 87-101 [doi]
- Collaborative Detection of Coordinated Port ScansRoberto Baldoni, Giuseppe Antonio Di Luna, Leonardo Querzoni. 102-117 [doi]
- Exploiting Partial-Packet Information for Reactive Jamming Detection: Studies in UWSN EnvironmentManas Khatua, Sudip Misra. 118-132 [doi]
- Fault-Tolerant Design of Wireless Sensor Networks with Directional AntennasShahrzad Shirazipourazad, Arunabha Sen, Subir Bandyopadhyay. 133-147 [doi]
- Self-stabilizing Silent Disjunction in an Anonymous NetworkAjoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore. 148-160 [doi]
- Uniform Consensus with Homonyms and Omission FailuresCarole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The. 161-175 [doi]
- Democratic Elections in Faulty Distributed SystemsHimanshu Chauhan, Vijay K. Garg. 176-191 [doi]
- Robust Deployment of Wireless Sensor Networks Using Gene Regulatory NetworksAzade Nazi, Mayank Raj, Mario Di Francesco, Preetam Ghosh, Sajal K. Das. 192-207 [doi]
- Cellular Pulse Switching: An Architecture for Event Sensing and Localization in Sensor NetworksQiong Huo, Bo Dong, Subir Biswas. 208-224 [doi]
- Asynchrony from SynchronyYehuda Afek, Eli Gafni. 225-239 [doi]
- Maximal Antichain Lattice Algorithms for Distributed ComputationsVijay K. Garg. 240-254 [doi]
- On the Analysis of a Label Propagation Algorithm for Community DetectionKishore Kothapalli, Sriram V. Pemmaraju, Vivek Sardeshmukh. 255-269 [doi]
- How to Survive and Thrive in a Private BitTorrent CommunityAdele Lu Jia, Xiaowei Chen, Xiaowen Chu, Johan A. Pouwelse, Dick H. J. Epema. 270-284 [doi]
- Optimal Migration Contracts in Virtual Networks: Pay-as-You-Come vs Pay-as-You-Go PricingXinhui Hu, Stefan Schmid, Andréa W. Richa, Anja Feldmann. 285-299 [doi]
- Parallel Scalar Multiplication on Elliptic Curves in Wireless Sensor NetworksYanbo Shou, Hervé Guyennet, Mohamed Lehsaini. 300-314 [doi]
- PeerVault: A Distributed Peer-to-Peer Platform for Reliable Data BackupAdnan Khan, Mehrab Shahriar, Sk. Kajal Arefin Imon, Mario Di Francesco, Sajal K. Das. 315-329 [doi]
- Distributed Verification Using Mobile AgentsShantanu Das 0001, Shay Kutten, Zvi Lotker. 330-347 [doi]
- Sublinear Bounds for Randomized Leader ElectionShay Kutten, Gopal Pandurangan, David Peleg, Peter Robinson, Amitabh Trehan. 348-362 [doi]
- Linear Space Bootstrap Communication SchemesCarole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum. 363-377 [doi]
- An Analysis Framework for Distributed Hierarchical DirectoriesGokarna Sharma, Costas Busch. 378-392 [doi]
- , Jingshu Chen, Sandeep S. Kulkarni. 393-407 [doi]
- Deployment and Evaluation of a Decentralised Runtime for Concurrent Rule-Based Programming ModelsMarko Obrovac, Cédric Tedeschi. 408-422 [doi]
- Weak Read/Write RegistersGadi Taubenfeld. 423-427 [doi]
- Fast Leader (Full) Recovery Despite Dynamic FaultsAjoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Sébastien Tixeuil. 428-433 [doi]
- Addressing the ZooKeeper Synchronization InefficiencyBabak Kalantari, André Schiper. 434-438 [doi]
- Compact TCAM: Flow Entry Compaction in TCAM for Power Aware SDNKalapriya Kannan, Subhasis Banerjee. 439-444 [doi]
- A Media Access and Feedback Protocol for Reliable Multicast over Wireless ChannelAshutosh Bhatia, R. C. Hansdah. 445-449 [doi]
- POSTER: Distributed Lagrangean Clustering ProtocolRavi Tandon, Biswanath Dey, Sukumar Nandi. 450-451 [doi]
- POSTER: Broadcasting in Delay Tolerant Networks Using Periodic ContactsProsenjit Dhole, Arobinda Gupta, Arindam Sharma. 452-453 [doi]
- POSTER: Cryptanalysis and Security Enhancement of Anil K Sarje's Authentication Scheme Using Smart CardsChandra Sekhar Vorugunti, Mrudula Sarvabhatla. 454-455 [doi]
- POSTER: A New Approach to Impairment-Aware Static RWA in Optical WDM NetworksSebastian Zawada, Shrestharth Ghosh, Fangyun Luo, Sriharsha Varanasi, Arunita Jaekel, Subir Bandyopadhyay. 456-457 [doi]
- POSTER: Using Directional Antennas for Epidemic Routing in DTNs in PracticeRajib Ranjan Maiti, Niloy Ganguly, Arobinda Gupta. 458-460 [doi]
- POSTER: A Secure and Efficient Cross Authentication Protocol in VANET Hierarchical ModelChandra Sekhar Vorugunti, Mrudula Sarvabhatla. 461-462 [doi]
- POSTER: Approximation Algorithm for Minimizing the Size of Coverage Hole in Wireless Sensor NetworksBarun Gorain, Partha Sarathi Mandal, Sandip Das. 463-464 [doi]