30. ICDCS 2010: Genova, Italy - Workshops
30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 21-25 June 2010, Genova, Italy. IEEE Computer Society 2010 ISBN 978-0-7695-4079-5
Assurance in Grids and Networks (ADSN 2010)
Akihiro Yamanouchi, Takeshi Hashimoto, Tomoyuki Ohta, Hideharu Kojima, Yoshiaki Kakuda: Resource Management Middleware Using Mobile Agents for Mobile Ad Hoc Networks. 1-6
Formal and Temporal Reasoning for Assurance (ADSN 2010)
Li Tan, Axel W. Krings: A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems. 7-12
Xinghui Zhao, Nadeem Jamali: Temporal Reasoning about Resources for Deadline Assurance in Distributed Systems. 13-20
Technical Session I
Anya Kim, John McDermott, Myong H. Kang: Security and Architectural Issues for National Security Cloud Computing. 21-25
Xinwen Fu, Zhen Ling, Wei Yu, Junzhou Luo: Cyber Crime Scene Investigations (C²SI) through Cloud Computing. 26-31
Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Gerardo Pelosi, Pierangela Samarati: Encryption-Based Policy Enforcement for Cloud Storage. 42-51
Lifei Wei, Haojin Zhu, Zhenfu Cao, Weiwei Jia, Athanasios V. Vasilakos: SecCloud: Bridging Secure Storage and Computation in Cloud. 52-61
Technical Session II
Maciej P. Machulak, Aad P. A. van Moorsel: Architecture and Protocol for User-Controlled Access Management in Web 2.0 Applications. 62-71
Jack Brassil: Physical Layer Network Isolation in Multi-tenant Clouds. 77-81
Graph Theory
Human Mobility
Salvatore Scellato, Mirco Musolesi, Cecilia Mascolo, Vito Latora: On Nonstationarity of Human Contact Networks. 105-111
PSP and Wireless Networks
Noriki Uchida, Goshi Sato, Kazuo Takahata, Yoshitaka Shibata: Selective Routing Protocol for Cognitive Wireless Networks Based on User's Policy. 112-117
Leonard Barolli, Gjergji Mino, Fatos Xhafa, Arjan Durresi, Akio Koyama: Improvement and Performance Evaluation of CAVENET: A Network Simulation Tool for Vehicular Networks. 118-125
Masanori Yasutomi, Yo Mashimo, Hiroshi Shigeno: GRAT: Group Reputation Aggregation Trust for Unstructured Peer-to-Peer Networks. 126-133
Ailixier Aikebaier, Tomoya Enokido, Makoto Takizawa, S. Misbah Deen: Energy-Efficient Agreement Protocols in P2P Overlay Networks. 134-141
Distributed Systems and Applications
Yuji Nakamura, Minoru Uehara: Multiple Micro Virtual Disks Based on NaryRAID for Large Scale Storage. 142-147
Markus Aleksy, Roberto Damm, Nicolaie Fantana, Bernd Stieger: Utilizing Active Visual Labels for Product and Service Information. 148-151
Fadila Khadar, Nathalie Mitton, David Simplot-Ryl: Towards an Efficient QoS Based Selection of Neighbors in QOLSR. 152-160
Joshua Ellul, Kirk Martinez: A Few Bytes are Worth a Thousand Words: Run-Time Compilation of High Level Scripts in Sensor Networks. 161-170
Olfa Gaddour, Anis Koubaa, Omar Cheikhrouhou, Mohamed Abid: Z-Cast: A Multicast Routing Mechanism in ZigBee Cluster-Tree Wireless Sensor Networks. 171-179
Jing He, Naixue Xiong, Yang Xiao, Yi Pan: A Reliable Energy Efficient Algorithm for Target Coverage in Wireless Sensor Networks. 180-188
Session II
Robert Abo, Kamel Barkaoui, Karim Djouani: Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi. 189-198
Kirk Martinez, Philip Basford, Joshua Ellul, Richard Clarke: Field Deployment of Low Power High Performance Nodes. 199-205
Filippo De Stefani, Paolo Gamba, Emanuele Goldoni, Alberto Savioli, Davide Silvestri, Flavio Toffalini: REnvDB, a RESTful Database for Pervasive Environmental Wireless Sensor Networks. 206-212
Communication Protocols for Ad Hoc Networks
Nils Aschenbruck, Elmar Gerhards-Padilla, Peter Martini: Simulative Evaluation of Adaptive Jamming Detection in Wireless Multi-hop Networks. 213-220
Roberto Beraldi, Marco Galiffa, Hussein M. Alnuweiri: W-Coolstreaming a Protocol for Collaborative Data Streaming for Wireless Networks. 221-226
Steve Glass, Vallipuram Muthukkumarasamy, Marius Portmann: The Insecurity of Time-of-Arrival Distance-Ranging in IEEE 802.11 Wireless Networks. 227-233
Rafael Falcón, Xu Li, Amiya Nayak: Carrier-Based Coverage Augmentation in Wireless Sensor and Robot Networks. 234-239
Routing I
Hamzeh Khazaei, Jelena V. Misic, Vojislav B. Misic: Mobile Software Agents for Wireless Network Mapping and Dynamic Routing. 240-246
Maurizio Paone, Angelo Cucinotta, Antonino Longo Minnolo, Luca Paladina, Antonio Puliafito, Angelo Zaia: A Bio-inspired Distributed Routing Protocol for Wireless Sensor Networks: Performance Evaluation. 247-255
Routing II
Giuseppe Araniti, Massimo Condoluci, Antonella Molinaro, Antonio Iera: A Cooperative Framework for Reliable Multicast Forwarding in Mobile Ad Hoc NETworks. 256-262
Antonio J. Yuste, Alicia Triviño-Cabrera, Francisco David Trujillo, Eduardo Casilari: Improved Scheme for Adaptive Gateway Discovery in Hybrid MANET. 270-275
Alicia Triviño-Cabrera, Jorge García de la Nava, Eduardo Casilari: Identification of Stable Links in MANETs. 276-281
The AMBER Project Invited Talks
Andrea Bondavalli, Paolo Lollini, Michele Vadursi: AMBER Roadmap: Ongoing Research Directions. 282-283
Raul Barbosa, Daniel Skarin, Johan Karlsson: Shared Data from a Study of Measurement Uncertainty in Fault Injection. 284-285
Raquel Almeida, Henrique Madeira, Marco Vieira: From Performance to Resilience Benchmarking. 286-287
The GEMOM Project Invited Talks
Reijo Savola, Habtamu Abie, John Bigham, Domenico Rotondi: Innovations and Advances in Adaptive Secure Message Oriented Middleware. 288-289
Petra Ristau, Shaun Topham, Federica Paganelli, Lorenzo Blasi: GEMOM Platform Prototype Validation through Case Studies - Main Results and Viewpoints to Exploitation. 290-291
John Bigham, Milan Novkovic: Adding Resilience to Message Oriented Middleware: The GEMOM Approach. 292-293
Open Session
Domenico Cotroneo, Catello Di Martino: Field Data Based Modeling of Sender Based Message Logging Protocols for Supercomputers Checkpointing. 294-301
András Kövi, Zoltán Micskei: Robustness Testing of Standard Specifications-Based HA Middleware. 302-306
Andres Perez-Garcia, Christos Siaterlis, Marcelo Masera: Testing the Fidelity of an Emulab Testbed. 307-312
Raquel Almeida, Naaliel Mendes, Henrique Madeira: Sharing Experimental and Field Data: The AMBER Raw Data Repository Experience. 313-320



