1. Home
  2. Proceedings
  3. SRDS
  4. SRDS 2012
Default Cover Image

2012 IEEE 31st International Symposium on Reliable Distributed Systems (SRDS 2012)

Oct. 8 2012 to Oct. 11 2012

Irvine, CA

Table of Contents

Papers
[Title page i]Freely available from IEEE.pp. i
Papers
[Title page iii]Freely available from IEEE.pp. iii
Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Table of contentsFreely available from IEEE.pp. v-xi
Papers
Message from General ChairsFreely available from IEEE.pp. xii
Papers
Message from Technical Program Co-chairsFreely available from IEEE.pp. xiii
Papers
Organizing CommitteeFreely available from IEEE.pp. xiv
Papers
Technical Program CommitteeFreely available from IEEE.pp. xv
Papers
External ReviewersFreely available from IEEE.pp. xvi-xvii
In memory of professor Kwang H. (Kane) KimFreely available from IEEE.pp. xviii-xviii
by SRDS 2012 Organization Committee
Papers
Detecting Anomalous User Behaviors in Workflow-Driven Web ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 1-10
by Xiaowei Li, Yuan Xue, Bradley Malin
Papers
Susceptibility Analysis of Structured P2P Systems to Localized Eclipse AttacksFull-text access may be available. Sign in or learn about subscription options.pp. 11-20
by Daniel Germanus, Robert Langenberg, Abdelmajid Khelil, Neeraj Suri
Papers
Benchmarking Dependability of MapReduce SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 21-30
by Amit Sangroya, Damian Serrano, Sara Bouchenak
Papers
Aggregating CVSS Base Scores for Semantics-Rich Network Security MetricsFull-text access may be available. Sign in or learn about subscription options.pp. 31-40
by Pengsu Cheng, Lingyu Wang, Sushil Jajodia, Anoop Singhal
Papers
First Step toward Cloud-Based FirewallingFull-text access may be available. Sign in or learn about subscription options.pp. 41-50
by Amir R. Khakpour, Alex X. Liu
Papers
Enabling Data Integrity Protection in Regenerating-Coding-Based Cloud StorageFull-text access may be available. Sign in or learn about subscription options.pp. 51-60
by Henry C.H. Chen, Patrick P.C. Lee
Papers
TailCon: Power-Minimizing Tail Percentile Control of Response Time in Server ClustersFull-text access may be available. Sign in or learn about subscription options.pp. 61-70
by Xi Chen, Xue Liu, Shengquan Wang, Xiao-Wen Chang
Papers
LogMaster: Mining Event Correlations in Logs of Large-Scale Cluster SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 71-80
by Xiaoyu Fu, Rui Ren, Jianfeng Zhan, Wei Zhou, Zhen Jia, Gang Lu
Papers
RAM-DUR: In-Memory Deferred Update ReplicationFull-text access may be available. Sign in or learn about subscription options.pp. 81-90
by Daniele Sciascia, Fernando Pedone
Papers
SPECULA: Speculative Replication of Software Transactional MemoryFull-text access may be available. Sign in or learn about subscription options.pp. 91-100
by Sebastiano Peluso, Joao Fernandes, Paolo Romano, Francesco Quaglia, Luis Rodrigues
Model-Driven Comparison of State-Machine-Based and Deferred-Update Replication SchemesFull-text access may be available. Sign in or learn about subscription options.pp. 101-110
by Pawel T. Wojciechowski, Tadeusz Kobus, Maciej Kokocinski
Papers
S-Paxos: Offloading the Leader for High Throughput State Machine ReplicationFull-text access may be available. Sign in or learn about subscription options.pp. 111-120
by Martin Biely, Zarko Milosevic, Nuno Santos, Andre Schiper
Papers
FORTRESS: Adding Intrusion-Resilience to Primary-Backup Server SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 121-130
by Dylan Clarke, Paul Ezhilchelvan
Papers
From Backup to Hot Standby: High Availability for HDFSFull-text access may be available. Sign in or learn about subscription options.pp. 131-140
by Andre Oriani, Islene C. Garcia
Papers
Availability Modeling and Analysis for Data Backup and Restore OperationsFull-text access may be available. Sign in or learn about subscription options.pp. 141-150
by Xiaoyan Yin, Javier Alonso, Fumio Machida, Ermeson C. Andrade, Kishor S. Trivedi
Availability-Based Methods for Distributed Storage SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 151-160
by Anne-Marie Kermarrec, Erwan Le Merrer, Gilles Straub, Alexandre van Kempen
Papers
Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal ConditionsFull-text access may be available. Sign in or learn about subscription options.pp. 161-170
by Bruno Vavala, Nuno Neves
Papers
GRADE: Graceful Degradation in Byzantine Quorum SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 171-180
by Jingqiang Lin, Bo Luo, Jiwu Jing, Xiaokun Zhang
Papers
Scalable and Secure Polling in Dynamic Distributed NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 181-190
by Sebastien Gambs, Rachid Guerraoui, Hamza Harkous, Florian Huc, Anne-Marie Kermarrec
Papers
Distributed and Private Group ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 191-200
by Olivier Heen, Erwan Le Merrer, Christoph Neumann, Stephane Onno
Papers
Improving Security of Internet Services through Continuous and Transparent User Identity VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 201-206
by Andrea Ceccarelli, Andrea Bondavalli, Francesco Brancati, Ernesto La Mattina
Papers
Off the Wall: Lightweight Distributed Filtering to Mitigate Distributed Denial of Service AttacksFull-text access may be available. Sign in or learn about subscription options.pp. 207-212
by Zhang Fu, Marina Papatriantafilou
Papers
Broadcast Authentication for Resource Constrained Devices: A Major Pitfall and Some SolutionsFull-text access may be available. Sign in or learn about subscription options.pp. 213-218
by Roberto Di Pietro, Fabio Martinelli, Nino Vincenzo Verde
Papers
Impact of Operational Reliability Re-assessment during Aircraft MissionsFull-text access may be available. Sign in or learn about subscription options.pp. 219-224
by Kossi Tiassou, Karama Kanoun, Mohamed Kaaniche, Christel Seguin, Chris Papadopoulos
Papers
Automatic Generation of Graceful ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 225-230
by Yiyan Lin, Sandeep Kulkarni
Papers
RD2: Resilient Dynamic Desynchronization for TDMA over Lossy NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 231-236
by Thomas Hinterhofer, Hans-Peter Schwefel, Slobodanka Tomic
Papers
Providing Uniform Reliable Broadcast Delivery for Mobile Ad Hoc Networks with MANET Liveness PropertyFull-text access may be available. Sign in or learn about subscription options.pp. 237-242
by Jerzy Brzezinski, Michal Kalewski, Jacek Kobusinski
Papers
Fault Localization in MANET-Hosted Service-Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 243-248
by Petr Novotny, Alexander L. Wolf, Bong Jun Ko
Papers
Fast Optimization Algorithms for Designing Cellular Networks with Guard ChannelFull-text access may be available. Sign in or learn about subscription options.pp. 249-254
by Kousaburo Hari, Tadashi Dohi, Kishor S. Trivedi
Papers
A Quick and Reliable Routing for Infrastructure Surveillance with Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 255-260
by Zhen Jiang, Jie Wu, Minyi Guo, Zhenping Zhao, Donghong Wu
Papers
Causally Coordinated Snapshot Isolation for Geographically Replicated DataFull-text access may be available. Sign in or learn about subscription options.pp. 261-266
by Vinit Padhye, Anand Tripathi
Papers
GSFord: Towards a Reliable Geo-social Notification SystemFull-text access may be available. Sign in or learn about subscription options.pp. 267-272
by Kyungbaek Kim, Ye Zhao, Nalini Venkatasubramanian
Papers
Performance Issue Diagnosis for Online Service SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 273-278
by Qiang Fu, Jian-Guang Lou, Qing-Wei Lin, Rui Ding, Dongmei Zhang, Zihao Ye, Tao Xie
Papers
An End-to-End Security Auditing Approach for Service Oriented ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 279-284
by Mehdi Azarmi, Bharat Bhargava, Pelin Angin, Rohit Ranchal, Norman Ahmed, Asher Sinclair, Mark Linderman, Lotfi Ben Othmane
Papers
RADAR: Adaptive Rate Allocation in Distributed Stream Processing Systems under Bursty WorkloadsFull-text access may be available. Sign in or learn about subscription options.pp. 285-290
by Ioannis Boutsis, Vana Kalogeraki
Papers
Efficient Asynchronous Low Power Listening for Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 291-300
by Rajesh Krishna Panta, James A. Pelletier, Gregg Vesonder
Papers
Energy-Efficient and Fault-Tolerant Structural Health Monitoring in Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 301-310
by Md. Zakirul Alam Bhuiyan, Jiannong Cao, Guojun Wang, Xuefeng Liu
Papers
Time-Sensitive Utility-Based Routing in Duty-Cycle Wireless Sensor Networks with Unreliable LinksFull-text access may be available. Sign in or learn about subscription options.pp. 311-320
by Mingjun Xiao, Jie Wu, Liusheng Huang
Papers
Efficient and Reliable Multicast in Multi-radio NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 321-330
by Roy Friedman, Alex Kogan
Papers
Fair Comparison of Gossip Algorithms over Large-Scale Random TopologiesFull-text access may be available. Sign in or learn about subscription options.pp. 331-340
by Ruijing Hu, Julien Sopena, Luciana Arantes, Pierre Sens, Isabelle Demeure
Papers
A Theory of Packet Flows Based on Law-of-Mass-Action SchedulingFull-text access may be available. Sign in or learn about subscription options.pp. 341-351
by Thomas Meyer, Christian Tschudin
Papers
HybCAST: Rich Content Dissemination in Hybrid Cellular and 802.11 Ad Hoc NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 352-361
by Ngoc Minh Do, Cheng-Hsin Hsu, Nalini Venkatasubramanian
Papers
Reliable Distributed Real-Time and Embedded Systems through Safe Middleware AdaptationFull-text access may be available. Sign in or learn about subscription options.pp. 362-371
by Akshay Dabholkar, Abhishek Dubey, Aniruddha Gokhale, Gabor Karsai, Nagbhushan Mahadevan
Papers
Approximation Techniques for Maintaining Real-Time Deployments Informed by User-Provided Dataflows within a CloudFull-text access may be available. Sign in or learn about subscription options.pp. 372-377
by James Edmondson, Anirrudha Gokhale, Douglas Schmidt
Papers
Response Time Reliability in Cloud Environments: An Empirical Study of n-Tier Applications at High Resource UtilizationFull-text access may be available. Sign in or learn about subscription options.pp. 378-383
by Qingyang Wang, Yasuhiko Kanemasa, Jack Li, Deepal Jayasinghe, Motoyuki Kawaba, Calton Pu
Papers
A Quantitative Comparison of Reactive and Proactive Replicated Storage SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 384-389
by Rossana Motta, Joseph Pasquale
Papers
PGV: A Storage Enforcing Remote Verification SchemeFull-text access may be available. Sign in or learn about subscription options.pp. 390-395
by Mohammad Iftekhar Husain, Steve Uurtamo, Steven Y. Ko, Atri Rudra, Ramalingam Sridhar
Papers
AAD: Adaptive Anomaly Detection System for Cloud Computing InfrastructuresFull-text access may be available. Sign in or learn about subscription options.pp. 396-397
by Husanbir S. Pannu, Jianguo Liu, Song Fu
Papers
Distributed Monitoring of Temporal System Properties Using Petri NetsFull-text access may be available. Sign in or learn about subscription options.pp. 398-399
by Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy
Papers
Improving the Reliability and Availability of Vehicular Communications Using Voronoi Diagram-Based Placement of Road Side UnitsFull-text access may be available. Sign in or learn about subscription options.pp. 400-401
by Prithviraj Patil, Aniruddha Gokhale
Papers
Secure Cloud Browser: Model and Architecture to Support Secure WEB NavigationFull-text access may be available. Sign in or learn about subscription options.pp. 402-403
by Marta Palanques, Roberto Dipietro, Carlos del Ojo, Marcel Malet, Miquel Marino, Toni Felguera
Papers
Towards Identifying Root Causes of Faults in Service-Based ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 404-405
by Christian Inzinger, Waldemar Hummer, Benjamin Satzger, Philipp Leitner, Schahram Dustdar
Papers
Anonymous On-Demand Routing and Secure Checking of Traffic Forwarding for Mobile Ad Hoc NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 406-411
by Rui Jiang, Yuan Xing
Papers
Pairwise Key Generation Scheme for Cellular Mobile CommunicationFull-text access may be available. Sign in or learn about subscription options.pp. 412-417
by Chetan Jaiswal, Vijay Kumar
Papers
Data De-duplication and Event Processing for Security Applications on an Embedded ProcessorFull-text access may be available. Sign in or learn about subscription options.pp. 418-423
by Harsha Nagarajaiah, Shambhu Upadhyaya, Vinodh Gopal
Papers
Query Plan Execution in a Heterogeneous Stream Management System for Situational AwarenessFull-text access may be available. Sign in or learn about subscription options.pp. 424-429
by Indrakshi Ray, Sanjay K. Madria, Mark Linderman
Papers
Private Anonymous MessagingFull-text access may be available. Sign in or learn about subscription options.pp. 430-435
by Ruchith Fernando, Bharat Bhargava, Mark Linderman
Regenerating Codes: A System PerspectiveFull-text access may be available. Sign in or learn about subscription options.pp. 436-441
by Steve Jiekak, Anne-Marie Kermarrec, Nicolas Le Scouarnec, Gilles Straub, Alexandre Van Kempen
Papers
Banking on Decoupling: Budget-Driven Sustainability for HPC Applications on EC2 Spot InstancesFull-text access may be available. Sign in or learn about subscription options.pp. 442-447
by Moussa Taifi
Papers
On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-CloudsFull-text access may be available. Sign in or learn about subscription options.pp. 448-453
by Miguel Correia, Pedro Costa, Marcelo Pasin, Alysson Bessani, Fernando Ramos, Paulo Verissimo
Papers
Byzantine Fault-Tolerant Publish/Subscribe: A Cloud Computing InfrastructureFull-text access may be available. Sign in or learn about subscription options.pp. 454-456
by Tiancheng Chang, Hein Meling
Papers
Energy Efficient Hadoop Using Mirrored Data Block Replication PolicyFull-text access may be available. Sign in or learn about subscription options.pp. 457-462
by Sara Arbab Yazd, Subbarayan Venkatesan, Neeraj Mittal
Papers
Security Problems of Platform-as-a-Service (PaaS) Clouds and Practical Solutions to the ProblemsFull-text access may be available. Sign in or learn about subscription options.pp. 463-468
by Mehmet Tahir Sandikkaya, Ali Emre Harmanci
Papers
Versatile Key Management for Secure Cloud StorageFull-text access may be available. Sign in or learn about subscription options.pp. 469-474
by Sebastian Graf, Patrick Lang, Stefan A. Hohenadel, Marcel Waldvogel
Papers
Securing a Wireless Networked Control System Using Information FusionFull-text access may be available. Sign in or learn about subscription options.pp. 475-476
by Brijesh Kashyap Chejerla, Sanjay Madria
Papers
Exploring Compile Time Caching of Explicit Queries in Programming CodesFull-text access may be available. Sign in or learn about subscription options.pp. 477-478
by Venkata Krishna Suhas Nerella, Sanjay Madria, Thomas Weigert
Papers
Three Point Encryption (3PE): Secure Communications in Delay Tolerant NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 479-480
by Roy Cabaniss, Vimal Kumar, Sanjay Madria
Papers
TAIRO: Trust-Aware Automatic Incremental Routing for Opportunistic Resource Utilization NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 481-482
by Joseph W. Baird
Papers
Strategies for Reliable, Cloud-Based Distributed Real-Time and Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 483-484
by Kyoungho An
Papers
Towards Reliable Communication in Intelligent Transportation SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 485-486
by Prithviraj Patil
Papers
Reliable On-Chip Memory Design for CMPsFull-text access may be available. Sign in or learn about subscription options.pp. 487-488
by Abbas Banaiyanmofrad
Papers
Author indexFreely available from IEEE.pp. 489-491
Papers
[Publisher's information]Freely available from IEEE.pp. 492
Showing 83 out of 83