Modular Design and Verification of Distributed Adaptive Real-Time Systems -- Modeling Swarm Robotics with Know Lang -- Reasoning on Data Streams: an Approach to Adaptation in Pervasive Systems -- Autonomic Computing Software for Autonomous Space Vehicles -- Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems -- Categorical Structures of Self-Adaptation in Collective Adaptive Systems -- Self-Adaptive Traits in Collective Adaptive Systems -- A Context-Aware Traffic Engineering Model for Software-Defined Networks -- Efficient k-Nearest Neighbor Search for Static Queries over High Speed Time-Series Streams Reconstructing low degree triangular parametric surfaces based on inverse Loop subdivision -- Maximizing the lifetime of wireless sensor networks with the base station location -- An Application of PCA on Uncertainty of Prediction -- Co-modeling: an agent-based approach to support the coupling of heterogeneous models -- Slowdown-guided Genetic Algorithm for Job Scheduling in Federated Environments -- Security Aspects of Cloud Based Mobile Health Care Application Enhancement of Innovation Co-creation Processes and Ecosystems Through Mobile Technologies -- Development the method for Optimizing Cost of Software Quality Assurance based on Regression-based Model -- Un-normalized and random walk hypergraph Laplacian un-supervised learning.