Nature of Computation and Communication

1. Front Matter

   Pages I-XIII

   PDF

2. Formal Methods for Self-Adaptive Systems

   1. Front Matter

      Pages 1-1

      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

      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

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

• 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

Policies and ethics