Nature of Computation and Communication

International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

  • Phan Cong Vinh
  • Emil Vassev
  • Mike Hinchey

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Formal Methods for Self-Adaptive Systems

    1. Front Matter
      Pages 1-1
    2. Emil Vassev, Mike Hinchey
      Pages 13-22
    3. Nicola Bicocchi, Emil Vassev, Franco Zambonelli, Mike Hinchey
      Pages 23-32
    4. Carlos C. Insaurralde, Emil Vassev
      Pages 33-41
  3. Nature of Computation and Communication

    1. Front Matter
      Pages 53-53
    2. Phan Cong Vinh, Nguyen Thanh Tung
      Pages 63-72
    3. Phuong T. Nguyen, Hong Anh Le, Thomas Zinner
      Pages 73-82
    4. Nga Le-Thi-Thu, Khoi Nguyen-Tan, Thuy Nguyen-Thanh
      Pages 98-107
    5. Nguyen Thanh Tung, Dinh Ha Ly, Huynh Thi Thanh Binh
      Pages 108-116
    6. Nghi Quang Huynh, Tram Huynh Vo, Hiep Xuan Huynh, Alexis Drogoul
      Pages 117-131
    7. Van-Vinh Le, Tran Van Lang, Tran Van Hoai
      Pages 132-141
    8. Santi Phithakkitnukoon
      Pages 142-145
    9. Teerayut Horanont, Santi Phithakkitnukoon, Ryosuke Shibasaki
      Pages 146-155
    10. Nghi Quang Huynh, Hiep Xuan Huynh, Alexis Drogoul, Christophe Cambier
      Pages 156-170

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh City, Vietnam. The 34 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.

Keywords

cloud based mobile health care cloud computation collective adaptive systems computing methodologies cyber-physical systems distributed systems formal methods fuzzy databases machine learning multi-agent systems natural approaches natural computing pattern recognition self-adaptive systems swarm robotics theory of computation

Editors and affiliations

  • Phan Cong Vinh
    • 1
  • Emil Vassev
    • 2
  • Mike Hinchey
    • 3
  1. 1.Nguyen Tat Thanh UniversityHo Chi Minh CityVietnam
  2. 2.Lero at University of LimerickLimerickIreland
  3. 3.Irish Software Engineering Research CentreLero at University of LimerickLimerickIreland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-15392-6
  • Copyright Information Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-15391-9
  • Online ISBN 978-3-319-15392-6
  • Series Print ISSN 1867-8211
  • Series Online ISSN 1867-822X
  • About this book