Computational Science and Its Applications -- ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV

Front Matter....Pages I-XXXIV
Front Matter....Pages 1-1
Demographic Changes and Urban Sprawl in Two Middle-Sized Cities of Campania Region (Italy)....Pages 3-18
Coastal Monitoring: A Methodological Proposal for New Generation Coastal Planning in Apulia....Pages 19-34
Ecosystem Services Assessment Using InVEST as a Tool to Support Decision Making Process: Critical Issues and Opportunities....Pages 35-49
Climate Change and Transformability Scenario Evaluation for Venice (Italy) Port-City Through ANP Method....Pages 50-63
The Evaluation of Landscape Services: A New Paradigm for Sustainable Development and City Planning....Pages 64-76
Front Matter....Pages 77-77
A Quorum-Based Adaptive Hybrid Location Service for VCNs Urban Environments....Pages 79-89
Advanced Persistent Threat Mitigation Using Multi Level Security – Access Control Framework....Pages 90-105
Design of Disaster Collection and Analysis System Using Crowd Sensing and Beacon Based on Hadoop Framework....Pages 106-116
Network Traffic Prediction Model Based on Training Data....Pages 117-127
Clustering Wireless Sensor Networks Based on Bird Flocking Behavior....Pages 128-137
Design and Implementation of an Easy-Setup Framework for Personalized Cloud Device....Pages 138-147
Security Improvement of Portable Key Management Using a Mobile Phone....Pages 148-159
Front Matter....Pages 161-161
States of a Non-relativistic Quantum Particle in a Spherical Hollow Box....Pages 163-173
Front Matter....Pages 175-175
Adaption of a Self-Learning Algorithm for Dynamic Classification of Water Bodies to SPOT VEGETATION Data....Pages 177-192
Assessment of MODIS-Based NDVI-Derived Index for Fire Susceptibility Estimation in Northern China....Pages 193-203
On the Use of the Principal Component Analysis (PCA) for Evaluating Vegetation Anomalies from LANDSAT-TM NDVI Temporal Series in the Basilicata Region (Italy)....Pages 204-216
A New Approach of Geo-Rectification for Time Series Satellite Data Based on a Graph-Network....Pages 217-232
Semi-supervised Local Aggregation Methodology....Pages 233-245
Front Matter....Pages 247-247
Development of the Configuration Management System of the Computer Center and Evaluation of Its Impact on the Provision of IT Services....Pages 249-258
Novel Approaches for Distributing Workload on Commodity Computer Systems....Pages 259-271
Front Matter....Pages 247-247
Managing Dynamical Distributed Applications with GridMD Library....Pages 272-289
A Parallel Algorithm for Efficient Solution of Stochastic Collection Equation....Pages 290-298
Profiling Scheduler for Efficient Resource Utilization....Pages 299-310
Storage Database System in the Cloud Data Processing on the Base of Consolidation Technology....Pages 311-320
Integrated Information System for Verification of the Models of Convective Clouds....Pages 321-330
Hybrid Approach Perturbed KdVB Equation....Pages 331-341
Flexible Configuration of Application-Centric Virtualized Computing Infrastructure....Pages 342-353
Distributed Collaboration Based on Mobile Infrastructure....Pages 354-368
Front Matter....Pages 369-369
A Systematic Approach to Develop Mobile Applications from Existing Web Information Systems....Pages 371-386
An Ontological Support for Interactions with Experience in Designing the Software Intensive Systems....Pages 387-400
Do We Need New Management Perspectives for Software Research Projects?....Pages 401-410
A Binary Fruit Fly Optimization Algorithm to Solve the Set Covering Problem....Pages 411-420
A Teaching-Learning-Based Optimization Algorithm for Solving Set Covering Problems....Pages 421-430
A Comparison of Three Recent Nature-Inspired Metaheuristics for the Set Covering Problem....Pages 431-443
Bug Assignee Prediction Using Association Rule Mining....Pages 444-457
Zernike Moment-Based Approach for Detecting Duplicated Image Regions by a Modified Method to Reduce Geometrical and Numerical Errors....Pages 458-475
Requirements Engineering in an Emerging Market....Pages 476-491
Efficient Utilization of Various Network Coding Techniques in Different Wireless Scenarios....Pages 492-502
T-Tuple Reallocation: An Algorithm to Create Mixed-Level Covering Arrays to Support Software Test Case Generation....Pages 503-517
An Analysis of Techniques and Tools for Requirements Elicitation in Model-Driven Web Engineering Methods....Pages 518-527
Front Matter....Pages 369-369
Deriving UML Logical Architectures of Traceability Business Processes Based on a GS1 Standard....Pages 528-543
Native and Multiple Targeted Mobile Applications....Pages 544-558
Crowdsourcing Based Fuzzy Information Enrichment of Tourist Spot Recommender Systems....Pages 559-574
XML Schema Reverse Transformation: A Case Study....Pages 575-586
Realisation of Low-Cost Ammonia Breathalyzer for the Identification of Tooth Decay by Neural Simulation....Pages 587-596
Novel Designs for Memory Checkers Using Semantics and Digital Sequential Circuits....Pages 597-611
Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking....Pages 612-627
A Scheduling Problem for Software Project Solved with ABC Metaheuristic....Pages 628-639
On the Use of a Multiple View Interactive Environment for MATLAB and Octave Program Comprehension....Pages 640-654
Design Phase Consistency: A Tool for Reverse Engineering of UML Activity Diagrams to Their Original Scenarios in the Specification Phase....Pages 655-670
Extracting Environmental Constraints in Reactive System Specifications....Pages 671-685
Implementation of Decision Procedure of Stepwise Satisfiability of Reactive System Specifications....Pages 686-698
Cryptic-Mining: Association Rules Extractions Using Session Log....Pages 699-711
Feature Based Encryption Technique for Securing Digital Image Data Based on FCA-Image Attributes and Visual Cryptography....Pages 712-724
Empirical Studies of Cloud Computing in Education: A Systematic Literature Review....Pages 725-737
A Review of Student Attendance System Using Near-Field Communication (NFC) Technology....Pages 738-749
A Decision Support Map for Security Patterns Application....Pages 750-759
Back Matter....Pages 761-762