Ebook: Computational Science and Its Applications – ICCSA 2013: 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013. The 248 revised papers presented in five tracks and 33 special sessions and workshops were carefully reviewed and selected. The 46 papers included in the five general tracks are organized in the following topical sections: computational methods, algorithms and scientific applications; high-performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 202 papers presented in special sessions and workshops cover a wide range of topics in computational sciences ranging from computational science technologies to specific areas of computational sciences such as computer graphics and virtual reality.

---

The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013. The 248 revised papers presented in five tracks and 33 special sessions and workshops were carefully reviewed and selected. The 46 papers included in the five general tracks are organized in the following topical sections: computational methods, algorithms and scientific applications; high-performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 202 papers presented in special sessions and workshops cover a wide range of topics in computational sciences ranging from computational science technologies to specific areas of computational sciences such as computer graphics and virtual reality.

---

The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013. The 248 revised papers presented in five tracks and 33 special sessions and workshops were carefully reviewed and selected. The 46 papers included in the five general tracks are organized in the following topical sections: computational methods, algorithms and scientific applications; high-performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 202 papers presented in special sessions and workshops cover a wide range of topics in computational sciences ranging from computational science technologies to specific areas of computational sciences such as computer graphics and virtual reality.
Content:
Front Matter....Pages -
Role “Intellectual Processor” in Conceptual Designing of Software Intensive Systems....Pages 1-16
Modeling and Verification of Change Processes in Collaborative Software Engineering....Pages 17-32
Relating Goal Modeling with BPCM Models in a Combined Framework....Pages 33-42
Increasing the Rigorousness of Measures Definition through a UML/OCL Model Based on the Briand et al.’s Framework....Pages 43-58
Improving Requirements Specification in WebREd-Tool by Using a NFR’s Classification....Pages 59-69
Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems....Pages 70-81
Frequent Statement and De-reference Elimination for Distributed Programs....Pages 82-97
Agile Software Development: It Is about Knowledge Management and Creativity....Pages 98-113
Formalization and Model Checking of SysML State Machine Diagrams by CSP#....Pages 114-127
From Arrows to Netlists Describing Hardware....Pages 128-143
Evaluation of Process Architecture Design Methods....Pages 144-159
Multi Back-Ends for a Model Library Abstraction Layer....Pages 160-174
Explicit Untainting to Reduce Shadow Memory Usage and Access Frequency in Taint Analysis....Pages 175-186
A Framework for Security Testing....Pages 187-198
Comparing Software Architecture Descriptions and Raw Source-Code: A Statistical Analysis of Maintainability Metrics....Pages 199-213
Systematic Mapping of Architectures for Telemedicine Systems....Pages 214-229
Architectural Model for Generating User Interfaces Based on Class Metadata....Pages 230-245
A Novel Fuzzy Co-occurrence Matrix for Texture Feature Extraction....Pages 246-257
Improved Flow Shop Schedules with Total Completion Time Criterion....Pages 258-270
Towards a Real Architecture of Wireless Ad-Hoc Router on Open-Source Linux Platform....Pages 271-286
A Study of Robot-Based Context-Aware Fire Escape Service Model....Pages 287-293
Co-creating Urban Development: A Living Lab for Community Regeneration in the Second District of Palermo....Pages 294-308
Semantic Interoperability of German and European Land-Use Information....Pages 309-323
The Representation for All Model: An Agent-Based Collaborative Method for More Meaningful Citizen Participation in Urban Planning....Pages 324-339
Smart Cities as “EnvironMental” Cities....Pages 340-350
Impact of Urban Development and Vegetation on Land Surface Temperature of Dhaka City....Pages 351-367
Design of a Team-Based Relocation Scheme in Electric Vehicle Sharing Systems....Pages 368-377
Qualitative Analysis of Volunteered Geographic Information in a Spatially Enabled Society Project....Pages 378-393
An Innovative Approach to Assess the Quality of Major Parks in Environmentally Degraded Mega-City Dhaka....Pages 394-407
Analysis of Potential Factors Bringing Disparity in House Rent of Dhaka City....Pages 408-421
Integrated GIS and Remote Sensing Techniques to Support PV Potential Assessment of Roofs in Urban Areas....Pages 422-437
Deriving Mobility Practices and Patterns from Mobile Phone Data....Pages 438-451
GIS Based Urban Design for Sustainable Transport and Sustainable Growth for Two-Wheeler Related Mega Cities like HANOI....Pages 452-465
New Concepts for Structuring 3D City Models – An Extended Level of Detail Concept for CityGML Buildings....Pages 466-480
Walking into the Past: Design Mobile App for the Geo-referred and the Multimodal User Experience in the Context of Cultural Heritage....Pages 481-492
Building Investments for the Revitalization of the Territory: A Multisectoral Model of Economic Analysis....Pages 493-508
Dynamic Analysis of the Property Market in the City of Avellino (Italy)....Pages 509-523
Spatial Representation: City and Digital Spaces....Pages 524-537
Web 3D Service Implementation....Pages 538-549
The e-Participation in Tranquillity Areas Identification as a Key Factor for Sustainable Landscape Planning....Pages 550-565
Free Web Mapping Tools to Characterise Landscape Dynamics and to Favour e-Participation....Pages 566-581
Improving EU Cohesion Policy: The Spatial Distribution Analysis of Regional Development Investments Funded by EU Structural Funds 2007/2013 in Italy....Pages 582-593
A Web-Based Participatory Management and Evaluation Support System for Urban Maintenance....Pages 594-605
Web 3.0 and Knowledge Management: Opportunities for Spatial Planning and Decision Making....Pages 606-621
Enhancing the Spatial Dimensions of Open Data: Geocoding Open PA Information Using Geo Platform Fusion to Support Planning Process....Pages 622-629
Cities and Smartness: A Critical Analysis of Opportunities and Risks....Pages 630-642
Back Matter....Pages -

---

The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013. The 248 revised papers presented in five tracks and 33 special sessions and workshops were carefully reviewed and selected. The 46 papers included in the five general tracks are organized in the following topical sections: computational methods, algorithms and scientific applications; high-performance computing and networks; geometric modeling, graphics and visualization; advanced and emerging applications; and information systems and technologies. The 202 papers presented in special sessions and workshops cover a wide range of topics in computational sciences ranging from computational science technologies to specific areas of computational sciences such as computer graphics and virtual reality.
Content:
Front Matter....Pages -
Role “Intellectual Processor” in Conceptual Designing of Software Intensive Systems....Pages 1-16
Modeling and Verification of Change Processes in Collaborative Software Engineering....Pages 17-32
Relating Goal Modeling with BPCM Models in a Combined Framework....Pages 33-42
Increasing the Rigorousness of Measures Definition through a UML/OCL Model Based on the Briand et al.’s Framework....Pages 43-58
Improving Requirements Specification in WebREd-Tool by Using a NFR’s Classification....Pages 59-69
Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems....Pages 70-81
Frequent Statement and De-reference Elimination for Distributed Programs....Pages 82-97
Agile Software Development: It Is about Knowledge Management and Creativity....Pages 98-113
Formalization and Model Checking of SysML State Machine Diagrams by CSP#....Pages 114-127
From Arrows to Netlists Describing Hardware....Pages 128-143
Evaluation of Process Architecture Design Methods....Pages 144-159
Multi Back-Ends for a Model Library Abstraction Layer....Pages 160-174
Explicit Untainting to Reduce Shadow Memory Usage and Access Frequency in Taint Analysis....Pages 175-186
A Framework for Security Testing....Pages 187-198
Comparing Software Architecture Descriptions and Raw Source-Code: A Statistical Analysis of Maintainability Metrics....Pages 199-213
Systematic Mapping of Architectures for Telemedicine Systems....Pages 214-229
Architectural Model for Generating User Interfaces Based on Class Metadata....Pages 230-245
A Novel Fuzzy Co-occurrence Matrix for Texture Feature Extraction....Pages 246-257
Improved Flow Shop Schedules with Total Completion Time Criterion....Pages 258-270
Towards a Real Architecture of Wireless Ad-Hoc Router on Open-Source Linux Platform....Pages 271-286
A Study of Robot-Based Context-Aware Fire Escape Service Model....Pages 287-293
Co-creating Urban Development: A Living Lab for Community Regeneration in the Second District of Palermo....Pages 294-308
Semantic Interoperability of German and European Land-Use Information....Pages 309-323
The Representation for All Model: An Agent-Based Collaborative Method for More Meaningful Citizen Participation in Urban Planning....Pages 324-339
Smart Cities as “EnvironMental” Cities....Pages 340-350
Impact of Urban Development and Vegetation on Land Surface Temperature of Dhaka City....Pages 351-367
Design of a Team-Based Relocation Scheme in Electric Vehicle Sharing Systems....Pages 368-377
Qualitative Analysis of Volunteered Geographic Information in a Spatially Enabled Society Project....Pages 378-393
An Innovative Approach to Assess the Quality of Major Parks in Environmentally Degraded Mega-City Dhaka....Pages 394-407
Analysis of Potential Factors Bringing Disparity in House Rent of Dhaka City....Pages 408-421
Integrated GIS and Remote Sensing Techniques to Support PV Potential Assessment of Roofs in Urban Areas....Pages 422-437
Deriving Mobility Practices and Patterns from Mobile Phone Data....Pages 438-451
GIS Based Urban Design for Sustainable Transport and Sustainable Growth for Two-Wheeler Related Mega Cities like HANOI....Pages 452-465
New Concepts for Structuring 3D City Models – An Extended Level of Detail Concept for CityGML Buildings....Pages 466-480
Walking into the Past: Design Mobile App for the Geo-referred and the Multimodal User Experience in the Context of Cultural Heritage....Pages 481-492
Building Investments for the Revitalization of the Territory: A Multisectoral Model of Economic Analysis....Pages 493-508
Dynamic Analysis of the Property Market in the City of Avellino (Italy)....Pages 509-523
Spatial Representation: City and Digital Spaces....Pages 524-537
Web 3D Service Implementation....Pages 538-549
The e-Participation in Tranquillity Areas Identification as a Key Factor for Sustainable Landscape Planning....Pages 550-565
Free Web Mapping Tools to Characterise Landscape Dynamics and to Favour e-Participation....Pages 566-581
Improving EU Cohesion Policy: The Spatial Distribution Analysis of Regional Development Investments Funded by EU Structural Funds 2007/2013 in Italy....Pages 582-593
A Web-Based Participatory Management and Evaluation Support System for Urban Maintenance....Pages 594-605
Web 3.0 and Knowledge Management: Opportunities for Spatial Planning and Decision Making....Pages 606-621
Enhancing the Spatial Dimensions of Open Data: Geocoding Open PA Information Using Geo Platform Fusion to Support Planning Process....Pages 622-629
Cities and Smartness: A Critical Analysis of Opportunities and Risks....Pages 630-642
Back Matter....Pages -
....