Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

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