Skip to main content
SpringerLink
Log in
Book cover

Nature of Computation and Communication

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Phan Cong Vinh

    1. Nguyen Tat Thanh University, Ho Chi Minh City, Vietnam

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Emil Vassev

    1. Lero at University of Limerick, Limerick, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mike Hinchey

    1. Irish Software Engineering Research Centre, Lero at University of Limerick, Limerick, Ireland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Included in the following conference series:

Conference proceedings info: ICTCC 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Formal Methods for Self-Adaptive Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Modular Design and Verification of Distributed Adaptive Real-Time Systems

      • Thomas Göthel, Björn Bartels
      Pages 3-12

    3. Modeling Swarm Robotics with KnowLang

      • Emil Vassev, Mike Hinchey
      Pages 13-22

    4. Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems

      • Nicola Bicocchi, Emil Vassev, Franco Zambonelli, Mike Hinchey
      Pages 23-32

    5. Autonomic Computing Software for Autonomous Space Vehicles

      • Carlos C. Insaurralde, Emil Vassev
      Pages 33-41

    6. Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems

      • Christian Kroiß, Tomáš BureÅ¡
      Pages 42-52

  3. Nature of Computation and Communication

    1. Front Matter

      Pages 53-53
      Download chapter PDF

    2. Categorical Structures of Self-adaptation in Collective Adaptive Systems

      • Phan Cong Vinh
      Pages 55-62

    3. Self-adaptive Traits in Collective Adaptive Systems

      • Phan Cong Vinh, Nguyen Thanh Tung
      Pages 63-72

    4. A Context-Aware Traffic Engineering Model for Software-Defined Networks

      • Phuong T. Nguyen, Hong Anh Le, Thomas Zinner
      Pages 73-82

    5. Efficient k-Nearest Neighbor Search for Static Queries over High Speed Time-Series Streams

      • Bui Cong Giao, Duong Tuan Anh
      Pages 83-97

    6. Reconstructing Low Degree Triangular Parametric Surfaces Based on Inverse Loop Subdivision

      • Nga Le-Thi-Thu, Khoi Nguyen-Tan, Thuy Nguyen-Thanh
      Pages 98-107

    7. Maximizing the Lifetime of Wireless Sensor Networks with the Base Station Location

      • Nguyen Thanh Tung, Dinh Ha Ly, Huynh Thi Thanh Binh
      Pages 108-116

    8. Establishing Operational Models for Dynamic Compilation in a Simulation Platform

      • Nghi Quang Huynh, Tram Huynh Vo, Hiep Xuan Huynh, Alexis Drogoul
      Pages 117-131

    9. MetaAB - A Novel Abundance-Based Binning Approach for Metagenomic Sequences

      • Van-Vinh Le, Tran Van Lang, Tran Van Hoai
      Pages 132-141

    10. An Application of PCA on Uncertainty of Prediction

      • Santi Phithakkitnukoon
      Pages 142-145

    11. Sensing Urban Density Using Mobile Phone GPS Locations: A Case Study of Odaiba Area, Japan

      • Teerayut Horanont, Santi Phithakkitnukoon, Ryosuke Shibasaki
      Pages 146-155

    12. Co-modeling: An Agent-Based Approach to Support the Coupling of Heterogeneous Models

      • Nghi Quang Huynh, Hiep Xuan Huynh, Alexis Drogoul, Christophe Cambier
      Pages 156-170

    13. Adaptive Distributed Systems with Cellular Differentiation Mechanisms

      • Ichiro Satoh
      Pages 171-180
Back to top

Other volumes

  1. Nature of Computation and Communication

Keywords

About this book

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.

Editors and Affiliations

  • Nguyen Tat Thanh University, Ho Chi Minh City, Vietnam

    Phan Cong Vinh

  • Lero at University of Limerick, Limerick, Ireland

    Emil Vassev

  • Irish Software Engineering Research Centre, Lero at University of Limerick, Limerick, Ireland

    Mike Hinchey

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation