2010 IEEE 30th International Conference on Distributed Computing Systems Workshops
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424474714

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops ◽

10.1109/icdcsw.2010.30 ◽

2010 ◽

Cited By ~ 1

Author(s):

Li Tan ◽

Axel Krings

Keyword(s):

Formal Framework

Download Full-text

Identification of Stable Links in MANETs

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops ◽

10.1109/icdcsw.2010.64 ◽

2010 ◽

Author(s):

Alicia Trivino-Cabrera ◽

Jorge Garcia-de-la-Nava ◽

Eduardo Casilari

Download Full-text

SecCloud: Bridging Secure Storage and Computation in Cloud

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops ◽

10.1109/icdcsw.2010.36 ◽

2010 ◽

Cited By ~ 54

Author(s):

Lifei Wei ◽

Haojin Zhu ◽

Zhenfu Cao ◽

Weiwei Jia ◽

Athanasios V. Vasilakos

Keyword(s):

Secure Storage

Download Full-text

AMBER Roadmap: Ongoing Research Directions

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops ◽

10.1109/icdcsw.2010.67 ◽

2010 ◽

Cited By ~ 1

Author(s):

Andrea Bondavalli ◽

Paolo Lollini ◽

Michele Vadursi

Keyword(s):

Research Directions ◽

Ongoing Research

Download Full-text

IRRES: Intrusion-Resilient Remote Email Storage

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops ◽

10.1109/icdcsw.2010.38 ◽

2010 ◽

Author(s):

Di Ma ◽

Gene Tsudik

Download Full-text

Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops ◽

10.1109/icdcsw.2010.54 ◽

2010 ◽

Author(s):

Robert Abo ◽

Kamel Barkaoui ◽

Karim Djouani

Keyword(s):

Performance Evaluation ◽

Mac Protocol ◽

Process Calculi ◽

And Performance

Download Full-text

RDCS 2010 Invited Paper Abstract

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops ◽

10.1109/icdcsw.2010.28 ◽

2010 ◽

Author(s):

Aad van Moorsel

Keyword(s):

Paper Abstract

Download Full-text

GEMOM Platform Prototype Validation through Case Studies - Main Results and Viewpoints to Exploitation

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops ◽

10.1109/icdcsw.2010.71 ◽

2010 ◽

Author(s):

Petra Ristau ◽

Shaun Topham ◽

Federica Paganelli ◽

Lorenzo Blasi

Keyword(s):

Case Studies

Download Full-text

Message from RDCS 2010 Workshop Organizers

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops ◽

10.1109/icdcsw.2010.25 ◽

2010 ◽

Download Full-text

Message from WWASN 2010 Workshop Program Co-chairs

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops ◽

10.1109/icdcsw.2010.22 ◽

2010 ◽

Download Full-text

2010 IEEE 30th International Conference on Distributed Computing Systems WorkshopsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems

Identification of Stable Links in MANETs

SecCloud: Bridging Secure Storage and Computation in Cloud

AMBER Roadmap: Ongoing Research Directions

IRRES: Intrusion-Resilient Remote Email Storage

Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi

RDCS 2010 Invited Paper Abstract

GEMOM Platform Prototype Validation through Case Studies - Main Results and Viewpoints to Exploitation

Message from RDCS 2010 Workshop Organizers

Message from WWASN 2010 Workshop Program Co-chairs

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops
Latest Publications