Skip to main content
SpringerLink
Log in
Book cover

Computational Science and Its Applications -- ICCSA 2013

13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Beniamino Murgante

    1. L-I.S.U.T. - D.A.P.I.t. Facoltà Ingegneria, Università degli Studi della Basilicata, Potenza, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sanjay Misra

    1. Covenant University, Ota, Nigeria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Maurizio Carlini

    1. Partimento di Scienze e Tecnologie per LAgricoltura, le Foreste, la Natura e lEnergia, Università degli Studi della Tuscia, Viterbo, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Carmelo M. Torre

    1. Dipartimento di Scienze dell’Ingegneria Civile e dell’Architecttura, Politecnico di Bari, Bari, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Hong-Quang Nguyen

    1. International University VNU-HCM, Ho Chi Minh City, Vietnam

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. David Taniar

    1. School of Business Systems, Monash University, Clayton, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. Bernady O. Apduhan

    1. Department of Intelligent Informatics, Kyushu Sangyo University, Fukuoka, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  8. Osvaldo Gervasi

    1. Department of Mathematics and Computer Science, University of Perugia, Perugia, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7973)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICCSA 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (46 papers)

  1. Front Matter

    Download chapter PDF

  2. Workshop on Software Engineering Processes and Applications (SEPA 2013)

    1. Role “Intellectual Processor” in Conceptual Designing of Software Intensive Systems

      • Petr Sosnin
      Pages 1-16

    2. Modeling and Verification of Change Processes in Collaborative Software Engineering

      • Phan Thi Thanh Huyen, Kunihiko Hiraishi, Koichiro Ochimizu
      Pages 17-32

    3. Relating Goal Modeling with BPCM Models in a Combined Framework

      • Shang Gao
      Pages 33-42

    4. Increasing the Rigorousness of Measures Definition through a UML/OCL Model Based on the Briand et al.’s Framework

      • Luis Reynoso, Marcelo Amaolo, Daniel Dolz, Claudio Vaucheret, Mabel Álvarez
      Pages 43-58

    5. Improving Requirements Specification in WebREd-Tool by Using a NFR’s Classification

      • José Alfonso Aguilar, Sanjay Misra, Anibal Zaldívar, Roberto Bernal
      Pages 59-69

    6. Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems

      • Fabíola Goncalves C. Ribeiro, Sanjay Misra, Michel S. Soares
      Pages 70-81

    7. Frequent Statement and De-reference Elimination for Distributed Programs

      • Mohamed A. El-Zawawy
      Pages 82-97

    8. Agile Software Development: It Is about Knowledge Management and Creativity

      • Claudio León de la Barra, Broderick Crawford, Ricardo Soto, Sanjay Misra, Eric Monfroy
      Pages 98-113

    9. Formalization and Model Checking of SysML State Machine Diagrams by CSP#

      • Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
      Pages 114-127

    10. From Arrows to Netlists Describing Hardware

      • Matthias Brettschneider, Tobias Häberlein
      Pages 128-143

    11. Evaluation of Process Architecture Design Methods

      • Mery Pesantes, Hugo A. Mitre, Cuauhtémoc Lemus
      Pages 144-159

    12. Multi Back-Ends for a Model Library Abstraction Layer

      • Ngoc Viet Tran, Andreas Ganser, Horst Lichter
      Pages 160-174

    13. Explicit Untainting to Reduce Shadow Memory Usage and Access Frequency in Taint Analysis

      • Jae-Won Min, Young-Hyun Choi, Jung-Ho Eom, Tai-Myoung Chung
      Pages 175-186

    14. A Framework for Security Testing

      • Daya Gupta, Kakali Chatterjee, Shruti Jaiswal
      Pages 187-198

    15. Comparing Software Architecture Descriptions and Raw Source-Code: A Statistical Analysis of Maintainability Metrics

      • Eudisley Anjos, Fernando Castor, Mário Zenha-Rela
      Pages 199-213

    16. Systematic Mapping of Architectures for Telemedicine Systems

      • Glauco de Sousa e Silva, Ana Paula Nunes Guimarães, Hugo Neves de Oliveira, Tatiana Aires Tavares, Eudisley Gomes dos Anjos
      Pages 214-229

    17. Architectural Model for Generating User Interfaces Based on Class Metadata

      • Luiz Azevedo, Clovis Torres Fernandes, Eduardo Martins Guerra
      Pages 230-245

  3. Workshop on Computer-Aided Modeling, Simulation, and Analysis (CAMSA 2013)

    1. A Novel Fuzzy Co-occurrence Matrix for Texture Feature Extraction

      • Yutthana Munklang, Sansanee Auephanwiriyakul, Nipon Theera-Umpon
      Pages 246-257

    2. Improved Flow Shop Schedules with Total Completion Time Criterion

      • Dipak Laha, Dhiren Kumar Behera
      Pages 258-270
Back to top

Other volumes

  1. Computational Science and Its Applications – ICCSA 2013

  2. Computational Science and Its Applications – ICCSA 2013

  3. Computational Science and Its Applications – ICCSA 2013

  4. Computational Science and Its Applications – ICCSA 2013

  5. Computational Science and Its Applications – ICCSA 2013

Keywords

About this book

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.

Editors and Affiliations

  • L-I.S.U.T. - D.A.P.I.t. Facoltà Ingegneria, Università degli Studi della Basilicata, Potenza, Italy

    Beniamino Murgante

  • Covenant University, Ota, Nigeria

    Sanjay Misra

  • Partimento di Scienze e Tecnologie per LAgricoltura, le Foreste, la Natura e lEnergia, Università degli Studi della Tuscia, Viterbo, Italy

    Maurizio Carlini

  • Dipartimento di Scienze dell’Ingegneria Civile e dell’Architecttura, Politecnico di Bari, Bari, Italy

    Carmelo M. Torre

  • International University VNU-HCM, Ho Chi Minh City, Vietnam

    Hong-Quang Nguyen

  • School of Business Systems, Monash University, Clayton, Australia

    David Taniar

  • Department of Intelligent Informatics, Kyushu Sangyo University, Fukuoka, Japan

    Bernady O. Apduhan

  • Department of Mathematics and Computer Science, University of Perugia, Perugia, Italy

    Osvaldo Gervasi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation