Computational Science and Its Applications -- ICCSA 2013 : 13th International Conference, ICCSA 2013, 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. 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 -