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
Conference proceedings ICTCC 2014

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
    11. Eloi Gabaldon, Josep L. Lerida, Fernando Guirado, Jordi Planes
      Pages 181-190
    12. Jakub Pavlik, Vladimir Sobeslav, Ales Komarek
      Pages 191-201
    13. Richard Cimler, Jan Matyska, Ladislav Balik, Josef Horalek, Vladimir Sobeslav
      Pages 202-211
    14. Nguyen Hung-Cuong, Huynh Quyet-Thang
      Pages 212-221
    15. Tracey Yuan Ting Wong, Gabrielle Peko, David Sundaram
      Pages 222-232
    16. Claris Yee Seung Chung, Roman Proskuryakov, David Sundaram
      Pages 233-242
    17. Loc Hoang Tran, Linh Hoang Tran, Hoang Trang
      Pages 254-263
    18. Le Ngoc Hung, Vu Minh Loc, Hoang Tung
      Pages 274-291
    19. Le Ngoc Hung, Vu Minh Loc
      Pages 292-305
    20. Vo Thi Hong Tuyet, Nguyen Thanh Binh
      Pages 306-319
    21. Nguyen Thanh Binh, Vo Thi Hong Tuyet, Phan Cong Vinh
      Pages 320-331
    22. Pham Bao Quoc, Nguyen Thanh Binh
      Pages 350-359
  4. Back Matter
    Pages 371-371

About these proceedings


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.


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
  • Copyright Information Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-15391-9
  • Online ISBN 978-3-319-15392-6
  • Series Print ISSN 1867-8211
  • Series Online ISSN 1867-822X
  • Buy this book on publisher's site