Computational Science and Its Applications -- ICCSA 2016

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Where the Streets Have Known Names
3. Altmetric Badge
   Chapter 2 Functions and Perspectives of Public Real Estate in the Urban Policies: The Sustainable Development Plan of Syracuse
4. Altmetric Badge
   Chapter 3 Soil Loss, Productivity and Cropland Values GIS-Based Analysis and Trends in the Basilicata Region (Southern Italy) from 1980 to 2013
5. Altmetric Badge
   Chapter 4 Fair Planning and Affordability Housing in Urban Policy. The Case of Syracuse (Italy)
6. Altmetric Badge
   Chapter 5 Cap Rate and the Historic City. Past and Future of the Real Estate of Noto (Italy)
7. Altmetric Badge
   Chapter 6 Industrial Areas and the City. Equalization and Compensation in a Value-Oriented Allocation Pattern
8. Altmetric Badge
   Chapter 7 Environmental Noise Sensing Approach Based on Volunteered Geographic Information and Spatio-Temporal Analysis with Machine Learning
9. Altmetric Badge
   Chapter 8 A Knowledge-Based Approach for the Implementation of a SDSS in the Partenio Regional Park (Italy)
10. Altmetric Badge
    Chapter 9 Factors of Perceived Walkability: A Pilot Empirical Study
11. Altmetric Badge
    Chapter 10 Evaluating the Effect of Urban Intersections on Walkability
12. Altmetric Badge
    Chapter 11 Coupling Surveys with GPS Tracking to Explore Tourists’ Spatio-Temporal Behaviour
13. Altmetric Badge
    Chapter 12 Countryside vs City: A User-Centered Approach to Open Spatial Indicators of Urban Sprawl
14. Altmetric Badge
    Chapter 13 Integrating Financial Analysis and Decision Theory for the Evaluation of Alternative Reuse Scenarios of Historical Buildings
15. Altmetric Badge
    Chapter 14 Spatial Analysis for the Study of Environmental Settlement Patterns: The Archaeological Sites of the Santa Cruz Province
16. Altmetric Badge
    Chapter 15 Self-renovation in Rome: Ex Ante, in Itinere and Ex Post Evaluation
17. Altmetric Badge
    Chapter 16 Enhancing an IaaS Ontology Clustering Scheme for Resiliency Support in Hybrid Cloud
18. Altmetric Badge
    Chapter 17 A Simple Stochastic Gradient Variational Bayes for Latent Dirichlet Allocation
19. Altmetric Badge
    Chapter 18 On Optimizing Partitioning Strategies for Faster Inverted Index Compression
20. Altmetric Badge
    Chapter 19 The Analysis for Ripple-Effect of Ontology Evolution Based on Graph
21. Altmetric Badge
    Chapter 20 Linearizability Proof of Stack Data
22. Altmetric Badge
    Chapter 21 Anonymous Mutual Authentication Scheme for Secure Inter-Device Communication in Mobile Networks
23. Altmetric Badge
    Chapter 22 Recommending Books for Children Based on the Collaborative and Content-Based Filtering Approaches
24. Altmetric Badge
    Chapter 23 Ontology Evaluation Approaches: A Case Study from Agriculture Domain
25. Altmetric Badge
    Chapter 24 Effort Estimation for Program Modification in Object Oriented Development
26. Altmetric Badge
    Chapter 25 Populational Algorithm for Influence Maximization
27. Altmetric Badge
    Chapter 26 Software Variability Composition and Abstraction in Robot Control Systems
28. Altmetric Badge
    Chapter 27 A Methodological Approach to Identify Type of Dependency from User Requirements
29. Altmetric Badge
    Chapter 28 Evolution of XSD Documents and Their Variability During Project Life Cycle: A Preliminary Study
30. Altmetric Badge
    Chapter 29 Efficient, Scalable and Privacy Preserving Application Attestation in a Multi Stakeholder Scenario
31. Altmetric Badge
    Chapter 30 An Approach for Code Annotation Validation with Metadata Location Transparency
32. Altmetric Badge
    Chapter 31 Towards a Software Engineering Approach for Cloud and IoT Services in Healthcare
33. Altmetric Badge
    Chapter 32 Smaller to Sharper: Efficient Web Service Composition and Verification Using On-the-fly Model Checking and Logic-Based Clustering
34. Altmetric Badge
    Chapter 33 MindDomain: An Interoperability Tool to Generate Domain Models Through Mind Maps
35. Altmetric Badge
    Chapter 34 Using Scrum Together with UML Models: A Collaborative University-Industry R&D Software Project
36. Altmetric Badge
    Chapter 35 Rockfall Hazard Assessment in an Area of the “Parco Archeologico Storico-Naturale Delle Chiese Rupestri” of Matera (Basilicata Southern–Italy)
37. Altmetric Badge
    Chapter 36 Integrating Computing to STEM Curriculum via CodeBoard
38. Altmetric Badge
    Chapter 37 Trusted Social Node: Evaluating the Effect of Trust and Trust Variance to Maximize Social Influence in a Multilevel Social Node Influential Diffusion Model
39. Altmetric Badge
    Chapter 38 Enhanced Metaheuristics with the Multilevel Paradigm for MAX-CSPs
40. Altmetric Badge
    Chapter 39 Processing of a New Task in Conditions of the Agile Management with Using of Programmable Queues
41. Altmetric Badge
    Chapter 40 Using CQA History to Improve Q&A Experience
42. Altmetric Badge
    Chapter 41 The Use of Computer Technology as a Way to Increase Efficiency of Teaching Physics and Other Natural Sciences
43. Altmetric Badge
    Chapter 42 A Nonlinear Multicriteria Model for Team Effectiveness
44. Altmetric Badge
    Chapter 43 Assessment of the Code Refactoring Dataset Regarding the Maintainability of Methods
45. Altmetric Badge
    Chapter 44 A Public Bug Database of GitHub Projects and Its Application in Bug Prediction
46. Altmetric Badge
    Chapter 45 Towards an Intelligent System for Monitoring Health Complaints
47. Altmetric Badge
    Chapter 46 Proposal to Reduce Natural Risks: Analytic Network Process to Evaluate Efficiency of City Planning Strategies
48. Altmetric Badge
    Chapter 47 Data Processing for a Water Quality Detection System on Colombian Rio Piedras Basin
49. Altmetric Badge
    Chapter 48 Validation of Coffee Rust Warnings Based on Complex Event Processing