Nature of computation and communication : International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers

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. Edited By Phan Cong Vinh, Emil Vassev, Mike Hinchey. Front Matter....Pages I-XIII Front Matter....Pages 1-1 Modular Design and Verification of Distributed Adaptive Real-Time Systems....Pages 3-12 Modeling Swarm Robotics with KnowLang....Pages 13-22 Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems....Pages 23-32 Autonomic Computing Software for Autonomous Space Vehicles....Pages 33-41 Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems....Pages 42-52 Front Matter....Pages 53-53 Categorical Structures of Self-adaptation in Collective Adaptive Systems....Pages 55-62 Self-adaptive Traits in Collective Adaptive Systems....Pages 63-72 A Context-Aware Traffic Engineering Model for Software-Defined Networks....Pages 73-82 Efficient k -Nearest Neighbor Search for Static Queries over High Speed Time-Series Streams....Pages 83-97 Reconstructing Low Degree Triangular Parametric Surfaces Based on Inverse Loop Subdivision....Pages 98-107 Maximizing the Lifetime of Wireless Sensor Networks with the Base Station Location....Pages 108-116 Establishing Operational Models for Dynamic Compilation in a Simulation Platform....Pages 117-131 MetaAB - A Novel Abundance-Based Binning Approach for Metagenomic Sequences....Pages 132-141 An Application of PCA on Uncertainty of Prediction....Pages 142-145 Sensing Urban Density Using Mobile Phone GPS Locations: A Case Study of Odaiba Area, Japan....Pages 146-155 Co-modeling: An Agent-Based Approach to Support the Coupling of Heterogeneous Models....Pages 156-170 Adaptive Distributed Systems with Cellular Differentiation Mechanisms....Pages 171-180 Slowdown-Guided Genetic Algorithm for Job Scheduling in Federated Environments....Pages 181-190 Measurement of Cloud Computing Services Availability....Pages 191-201 Security Aspects of Cloud Based Mobile Health Care Application....Pages 202-211 Front Matter....Pages 53-53 New NHPP SRM Based on Generalized S-shaped Fault-Detection Rate Function....Pages 212-221 Enhancement of Innovation Co-creation Processes and Ecosystems Through Mobile Technologies....Pages 222-232 Design and Implementation of Sustainable Social Shopping Systems....Pages 233-242 Developing Method for Optimizing Cost of Software Quality Assurance Based on Regression-Based Model....Pages 243-253 Un-normlized and Random Walk Hypergraph Laplacian Un-supervised Learning....Pages 254-263 Graph Based Semi-supervised Learning Methods Applied to Speech Recognition Problem....Pages 264-273 Updating Relational Databases with Linguistic Data Based on Hedge Algebras....Pages 274-291 Primacy of Fuzzy Relational Databases Based on Hedge Algebras....Pages 292-305 Reducing Impurities in Medical Images Based on Curvelet Domain....Pages 306-319 Increasing the Quality of Medical Images Based on the Combination of Filters in Ridgelet Domain....Pages 320-331 Efficient Pancreas Segmentation in Computed Tomography Based on Region-Growing....Pages 332-340 Object Classification Based on Contourlet Transform in Outdoor Environment....Pages 341-349 Motion Detection Based on Image Intensity Ratio....Pages 350-359 Vehicle Tracking in Outdoor Environment Based on Curvelet Domain....Pages 360-369 Back Matter....Pages 371-371