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

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 -