Description
Nature of Computation and Communication, 2015
International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering Series, Vol. 144
Coordinators: Vinh Phan Cong, Vassev Emil, Hinchey Mike
Language: EnglishSubjects for Nature of 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
371 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>
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.