30. ICDCS 2010: Genova, Italy - Workshops

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 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
  
• Fabrizio Baiardi, Daniele Sgandurra:
  Securing a Community Cloud. 32-41
  
• 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
  
• Di Ma, Gene Tsudik:
  IRRES: Intrusion-Resilient Remote Email Storage. 72-76
  
• Jack Brassil:
  Physical Layer Network Isolation in Multi-tenant Clouds. 77-81
  
• Mei Liu, Xuhua Ding:
  On Trustworthiness of CPU Usage Metering and Accounting. 82-91
  

Graph Theory

• Dror Marcus, Yuval Shavitt:
  Efficient Counting of Network Motifs. 92-98
  
• Hakan Kardes, Mehmet Hadi Günes:
  Structural Graph Indexing for Mining Complex Networks. 99-104
  

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
  
• Gongjun Yan, Nathalie Mitton, Xu Li:
  Reliable Routing in Vehicular Ad Hoc Networks. 263-269
  
• 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
  

Last update Fri May 25 08:17:57 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page