Computational Science and Its Applications -- ICCSA 2012
12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV
Published on 16. June 2012
XXI, 661 pages
978-3-642-31128-4 (ISBN)
Description
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012. The four volumes contain papers presented in the following workshops: 7333 - advances in high performance algorithms and applications (AHPAA); bioinspired computing and applications (BIOCA); computational geometry and applicatons (CGA); chemistry and materials sciences and technologies (CMST); cities, technologies and planning (CTP); 7334 - econometrics and multidimensional evaluation in the urban environment (EMEUE); geographical analysis, urban modeling, spatial statistics (Geo-An-Mod); 7335 - optimization techniques and applications (OTA); mobile communications (MC); mobile-computing, sensind and actuation for cyber physical systems (MSA4CPS); remote sensing (RS); 7336 - software engineering processes and applications (SEPA); software quality (SQ); security and privacy in computational sciences (SPCS); soft computing and data engineering (SCDE). The topics of the fully refereed papers are structured according to the four major conference themes: 7333 - computational methods, algorithms and scientific application; 7334 - geometric modelling, graphics and visualization; 7335 - information systems and technologies; 7336 - high performance computing and networks.
More details
Other editions
Additional editions
Beniamino Murgante | Osvaldo Gervasi | Sanjay Misra
Computational Science and Its Applications -- ICCSA 2012
12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV
Book
06/2012
Springer
€53.49
Shipment within 7-9 days
Persons
Content
- Title
- Preface
- Organization
- Table of Contents
- Workshop on Software Engineering Processes and Applications (SEPA 2012)
- Modeling Road Traffic Signals Control Using UML and the MARTE Profile
- Introduction
- Overview on the MARTE Modeling Language
- Domain Characteristics
- Case Study
- User Requirements
- Structural Design
- Dynamic Design
- Discussion
- Conclusion
- References
- Analysis of Techniques for Documenting User Requirements
- Introduction
- Review on Techniques for User Requirements Documentation
- Criteria Used for Evaluation
- Resulting Table
- Conclusion
- References
- Predicting Web Service Maintainability via Object-Oriented Metrics: A Statistics-Based Approach
- Introduction
- Basic Concepts
- Related Efforts
- Data Weight Metric
- Distinct Message Ratio Metric
- Message Entropy Metric
- Message Repetition Scale Metric
- Statistical Correlation among Services Metrics
- A Step towards Early Improving WSDL Maintainability
- Conclusions
- References
- Early Automated Verification of Tool Chain Design
- Introduction
- Approach
- Building Up the Verification Graph
- Description of the Product Development Process
- Description of the Design of the Tool Chain
- Mapping Rules and the Verification Graph
- Verification by Alignment Checking
- Alignment Rules
- Alignment Checking
- Quantification by Alignment Metrics
- Case Study
- Related Work
- Future Work and Conclusion
- References
- Using UML Stereotypes to Support the Requirement Engineering: A Case Study
- Introduction
- Background
- Standard Requirement Engineering Process Version
- Professional Requirement Engineering Process Version
- Automatic Prototype Generation
- Counting Function Points
- Assigning Constraints to Modeling Elements
- Assessment
- Automatic Prototype Generation
- Counting Function Points
- Related Work
- Stereotype Usage on Software Development
- Automatic Prototype Generation
- Counting Function Points
- Assigning Constraints to Modeling Elements
- Conclusion and Future Work
- References
- Identifying Business Rules to Legacy Systems Reengineering Based on BPM and SOA
- Introduction
- Legacy System Behavior
- Proposed Solution to Identification of the Legacy System Behavior
- Related Work
- Business Rules
- Business Rules Ontology
- Implementation of the Business Rules Classes
- Programming Language
- Mapping the Business Rules Classes into Equivalent Classes
- Support and Confidence
- Tool to Identify Business Rules in the Source Code
- Summary and Outlook
- References
- Abstraction Analysis and Certified Flow and Context Sensitive Points-to Relation for Distributed Programs
- Introduction
- Memory Model, Language, and Operational Semantics
- Pointer Analysis
- Abstraction Analysis
- Context and Flow Sensitive Pointer Analysis
- Flow Sensitive and Context Insensitive Pointer Analysis
- Related and Future Work
- References
- An Approach to Measure Understandability of Extended UML Based on Metamodel
- Introduction
- Problem
- Motivation
- Related Works
- Background
- Metamodel of UML
- Extension Patterns of UML
- Measurement of Understandability for Extended UML
- Basic Idea
- Metric Definition
- Empirical Validation
- Evaluation of Extension Patterns for UML by Understandability Measurement
- Conclusion
- References
- Dealing with Dependencies among Functional and Non-functional Requirements for Impact Analysis in Web Engineering
- Introduction
- Related Work
- Goal-Oriented Requirements Analysis in Web Engineering
- A Practical Case: A Web Requirements Specification
- An Impact Analysis Algorithm for Goal-Oriented Requirements in Web Engineering
- Performing the Impact Analysis
- Open Source Implementation Framework
- Conclusions and Future Work
- References
- Assessing Maintainability Metrics in Software Architectures Using COSMIC and UML
- Introduction
- Definitions
- SA and Evolution
- Maintainability
- COSMIC
- Object-Oriented Metrics
- Complexity
- Coupling
- Cohesion
- Architectural Metrics
- Case Study
- Conclusions and Future Works
- References
- Plagiarism Detection in Software Using Efficient String Matching
- Introduction
- Related Algorithms
- Sunday's Quick Search Algorithm
- Raita Algorithm
- Berry-Ravindran Algorithm
- TVSBS Algorithm
- Parameterized String Matching
- Parameterized Sunday (PSUNDAY) Algorithm
- The Proposed Algorithm
- Pre-processing Phase
- Searching Phase
- Extension to Parameterized Matching
- Experimental Results
- Conclusions
- References
- Dynamic Software Maintenance Effort Estimation Modeling Using Neural Network, Rule Engine and Multi-regression Approach
- Introduction
- Software Maintenance Effort Estimation Methodology
- Dynamic Factors
- Data Collection and Analysis
- Dynamic Effort Estimation
- Regression Model for Dynamic Effort Estimation
- NN Modeling for Dynamic Effort Estimation
- AI Based Dynamic Effort Estimation Tool (AIDEE)
- Conclusions
- References
- Workshop on Software Quality (SQ 2012)
- New Measures for Maintaining the Quality of Databases
- Introduction
- The Framework
- Databases, Completions, Updates, Constraints
- Cases
- Causes
- Violation Measures
- Conceptualizing Violation Measures
- Formalizing Violation Measures
- New Violation Measures
- Properties of Violation Measures
- Integrity Maintenance
- Measure-Based Inconsistency-Tolerant Integrity Checking
- Repairs
- Conclusion
- References
- A New Way to Determine External Quality of ERP Software
- Introduction
- External Software Quality and Its Characteristics
- Enterprise Resource Planning Systems
- Determining External Quality of ERP Software
- Conclusion
- References
- Towards a Catalog of Spreadsheet Smells
- Introduction
- A Methodology to Identify Spreadsheet Smells
- Spreadsheet Smells: Catalog Definition
- Statistical Smells
- Type Smells
- Content Smells
- Functional Dependencies Based Smells
- Catalog Validation
- Catalog Evaluation
- Catalog Refinement
- SmellSheet Detective
- Related Work
- Conclusion
- References
- Program and Aspect Metrics for MATLAB
- Introduction
- MATLAB
- Tracing in MATLAB
- Specialization of MATLAB Programs
- Aspect MATLAB
- Tracing
- Function Specialization
- Metrics for MATLAB Programs
- Complexity Metrics for MATLAB
- Metrics for Aspects in MATLAB
- Metrics Evaluation
- Computing Metrics for Aspect MATLAB
- Computing MATLAB Metrics
- Quality Analysis in Real-Life Applications
- Quality Analysis of the Matlab Program IMPACTED
- Implementation
- Conclusion
- References
- A Suite of Cognitive Complexity Metrics
- Introduction
- Motivation
- Proposed Suite of Metrics for Object-Oriented Programming
- Demonstration of the Metrics
- Conclusions
- References
- Complexity Metrics for Cascading Style Sheets
- Introduction
- Proposed Metrics
- Rule Length (RL)
- Number of Rule Blocks (NORB)
- Entropy Metric (E)
- Number of Extended Rule Blocks (NERB)
- Number of Attributes Defined per Rule Block (NADRB)
- Number of Cohesive Rule Blocks (NCRB)
- Demonstration of the Proposed Metrics
- Practical Validation of the Proposed Metrics
- Concluding Remark and Further Work
- References
- A Systematic Review on the Impact of CK Metrics on the Functional Correctness of Object-Oriented Classes
- Introduction
- CK Metrics Suite
- Research Method
- Research Questions
- Search Strategy
- Data Extraction and Synthesis
- Overview of Selected Studies
- Results and Discussion
- WMC
- DIT
- NOC
- CBO
- RFC
- LCOM
- Limitations
- Conclusion
- References
- Workshop on Security and Privacy in Computational Sciences (SPCS 2012)
- Pinpointing Malicious Activities through Network and System-Level Malware Execution Behavior
- Introduction
- Related Work
- Behavioral Traces
- Extraction and Processing
- Definitions of Behavior
- Suspicious Behavior
- Malicious Activities
- Network-Level Risky Activities
- System-Level Risky Activities
- Experimental Results
- Malicious Activities' Pinpoint
- Malware Classes Behavior
- Conclusion
- References
- A Malware Detection System Inspired on the Human Immune System
- Introduction
- Concepts and Related Work
- Human Immune System
- Network Flow
- Data Mining
- Related Works
- Proposed System
- Architecture
- Signature Generation System
- Signature Model
- Monitoring System
- Tests and Results
- Detection Results
- Conclusion
- References
- Interactive, Visual-Aided Tools to Analyze Malware Behavior
- Introduction
- Related Work
- Data Gathering
- Malware Collection
- Behavior Extraction
- Interactive Visualization Tools for Behavioral Analysis
- Timeline and Magnifier
- Malicious Spiral
- Tests and Analysis of Results
- Conclusion and Future Work
- References
- Interactive Analysis of Computer Scenarios through Parallel Coordinates Graphics
- Introduction
- Brief Explanation about Parallel Coordinates
- Creation of Parallel Coordinates
- Data Transformation
- Picviz Description Language - PGDL
- Picviz-GUI
- SSH Authentication Log Analysis
- Related Work
- Conclusion
- References
- Methodology for Detection and Restraint of P2P Applications in the Network
- Introduction
- Related Works
- The Proposed P2P Detection Architecture
- Analyzed Filters
- Data Collection
- Results
- Set D1: Traces with P2P Applications
- Set D2: Traces without P2P Applications
- Set D3: Online Games
- Set D4: Traces with and without P2P Applications
- Comparison with Previous Works
- Proposed Methodology to Restrain P2P Traffic
- Conclusion and Future Works
- References
- Workshop on Soft Computing and Data Engineering (SCDE 2012)
- Text Categorization Based on Fuzzy Soft Set Theory
- Introduction
- Related Work
- Document Representation
- Soft Set Theory
- Fuzzy Soft Set
- Similarity between Two Fuzzy Soft Sets
- Fuzzy Soft Set Algorithm for Text Categorization
- Experiment Results
- Document Datasets
- Evaluation Metrics
- Results and Discussion
- Conclusion and Future Work
- References
- Cluster Size Determination Using JPEG Files
- Introduction
- PredClus
- Proposed Architecture
- Proposed Algorithm
- Experimentation
- Result and Discussion
- Conclusion
- References
- Semantic Web Search Engine Using Ontology, Clustering and Personalization Techniques
- Introduction
- Related Works
- Semantic Web
- Online Ontology Resources
- Clustering/Categorization
- User Profiling/Personalization
- The Framework of Semantic Web Search Engine
- Semantic Web Search Construction
- Search Result Based on User Profiling
- Proposed Model
- Algorithm
- Data Description
- Case Study of the Semantic Web Search Engine
- Step 1 - User Identification
- Step 2 - Ontology Searching and Clustering
- Step 3 - User Profiling Using RDB to RDF Mapping
- Step 4 - RDF to UTHM Ontology Comparison
- Step 5 - Ranking
- Conclusion
- References
- Granules of Words to Represent Text: An Approach Based on Fuzzy Relations and Spectral Clustering
- Introduction
- Related Works
- Word Granulation
- Fuzzy Relation
- Spectral Clustering
- Evaluation
- Results
- Conclusion
- References
- Multivariate Time Series Classification by Combining Trend-Based and Value-Based Approximations
- Introduction
- State of the Art
- Our Approach
- TVA Representation
- Value-Based Approximation
- Trend-Based Approximation
- Time Series Classification
- Experimental Results
- Conclusion and Future Work
- References
- General Track on High Performance Computing and Networks
- Impact of pay-as-you-go Cloud Platforms on Software Pricing and Development: A Review and Case Study
- Introduction
- Software Pricing
- Impact on Software Development
- Software Cost Estimation (COCOMO)
- Requirements and Software Engineering (ISO/IEC 25010)
- Benchmarking Tools (SPEC)
- Case Study: SIE ERP System
- Case Study Setup
- Measurement and Analysis
- Discussion
- Conclusion
- References
- Resilience for Collaborative Applications on Clouds
- Introduction
- Definitions
- Errors
- Failures
- Faults
- Fault-Tolerance
- Checkpoints
- Recovery
- Resilience
- Error Detection
- Error Characterization
- Error Ranking
- Resilience Sub-system
- Error Management
- Detection
- Impacted Tasks and Data
- Impact
- Recovery
- Implementation
- Overview
- Resilience Sub-system
- Conclusion
- References
- T-DMB Receiver Model for Emergency Alert Service
- Introduction
- T-DMB Location AEAS Receiver Model
- Emergency Alert Broadcasting Process
- T-DMB AEAS Receiver Model
- Experimental Results
- Conclusions
- References
- A Framework for Context-Aware Systems in Mobile Devices
- Introduction
- Ubiquitous and Pervasive Computing
- Context Sensitive Computing
- Framework
- CAMobile
- Flow Operation of CAMobile
- Definition of the Framework in the Android Platform
- Android Platform
- Framework in Android
- Definition of the Framework in the iOS Platform
- iOS Platform
- Framework on iOS
- Scenarios and Applications
- Shopping Promotions
- Mobile Devices in Traffic
- Photos around the World
- Parking Locator
- Conclusion
- References
- A Simulation Framework for Scheduling Performance Evaluation on CPU-GPU Heterogeneous System
- Introduction
- Related Work
- Program, Processes and Threads
- HPSSim
- Abstraction Level
- Scheduling Disciplines Implemented
- Input Parameters
- Event and Work-Flow
- Conclusions and Future Works
- References
- Influence of Topology on Mobility and Transmission Capacity of Human-Based DTNs
- Introduction
- Message Forwarding in DTNs
- Simulation Environment
- Mobility Models
- Topology Categorization According to Its Complexity
- Analysis of the Transmission Capacity in Human-Based DTNs
- Influence of Buffer Size
- Influence of Node Density on the Map
- Influence of the Routing Protocol
- Influence of Map Topology in Message Delivery
- Conclusion and Future Work
- References
- Towards a Computer Assisted Approach for Migrating Legacy Systems to SOA
- Introduction
- Automatic Detection of SOA Frontier Improvement Opportunities
- WSDL Anti-patterns Root Causes Detection
- Supplying Guidelines to Improve the SOA Frontier
- Evaluation
- Classical Metrics Analysis
- Data Model Analysis
- Anti-pattern Analysis
- Required Effort Analysis
- Related Work
- Conclusions and Future Work
- References
- 1+1 Protection of Overlay Distributed Computing Systems: Modeling and Optimization
- Introduction
- Related Work
- Survivability of Distributed Computing Systems
- Distributed Computing System Architecture
- Protection Approach
- Integer Programming Model
- Heuristic Algorithms
- Results
- Conclusion
- References
- Scheduling and Capacity Design in Overlay Computing Systems
- Introduction
- Related Works
- Modeling of Scheduling and Capacity Design in Overlay Computing System
- Notation
- Objective Function
- ILP Model
- Heuristic Algorithms
- Random Algorithm
- Greedy Algorithm
- Evolutionary Algorithm
- Tabu Search Algorithm
- Results
- Concluding Remarks
- References
- GPU Acceleration of the caffa3d.MB Model
- Introduction
- caffa3d.MB Model
- Mathematical Model
- caffa3d.MB Iteration Scheme
- Analysis of caffa3d.MB Model Runtime
- caffa3d.MB on GPU
- SIP on GPU
- Related Works
- Our Proposal
- Experiments
- Integration of the GPU-SIP on the caffa3d.MB Model
- Other Model Stages on GPU
- Conclusions and Future Work
- References
- Security-Effective Fast Authentication Mechanism for Network Mobility in Proxy Mobile IPv6 Networks
- Introduction
- Related Work
- Secure Authentication
- Network Architecture
- Fast Handoff in PMIPv6
- Security-Effective Fast Authentication Mechanism
- Symmetric Key-Based Local-Lighted Authentication Mechanism
- eXtension & Fast Proxy Mobile IPv6 (X-FPMIPv6)
- Integrated Operation of SK-L2AM and X-FPMIPv6 (AX-FPMIPv6)
- Security Analysis
- Performance Analysis
- Evaluation Criteria
- Parameter
- Analysis Results
- Conclusions
- References
- An Architecture for Service Integration and Unified Communication in Mobile Computing
- Introduction
- Related Work
- Bluetooth
- Architecture Description
- Implementation
- Test Cases
- Performance Results
- Conclusions and Future Work
- References
- Task Allocation in Mesh Structure: 2Side LeapFrog Algorithm and Q-Learning Based Algorithm
- Introduction
- Tasks Allocation
- Terminology
- Problem Statement
- Objective Functions
- The Known Allocation Algorithms - Related Work
- The Created Algorithms
- 2Side LeapFrog Algorithm
- Q-Learning Based Algorithm
- Investigation
- Investigation Scenario
- Part One. Comparison of the Allocation Algorithms
- Part Two. Evaluation of Q-learning Based Algorithm
- Conclusion
- References
- Follow-Us: A Distributed Ubiquitous Healthcare System Simulated by MannaSim
- Introduction
- Application Scenario
- Network Simulator (ns-2)
- MannaSim
- Follow-Us: Putting It All Together
- Simulation
- Energy Level
- Number of Errors
- Types of Errors
- Division of the Evaluations Events
- Operation of the Network in Its Lifetime
- Conclusions
- References
- Adaptive Dynamic Frequency Scaling for Thermal-Aware 3D Multi-core Processors
- Introduction
- Related Work
- 3D Integration Technology
- Dynamic Thermal Management Techniques
- Adaptive Dynamic Frequency Scaling Technique
- Experiments
- Experimental Methodology
- Thermal Impact of DFS on 3D Multi-core Processors
- Thermal Impact of Workload Distribution on 3D Multi-core Processors
- Conventional DFS Technique vs. Adaptive DFS Technique for 3D Multi-core Processors
- Conclusions
- References
- A Context-Aware Service Model Based on the OSGi Framework for u-Agricultural Environments
- Introduction
- Related Work
- OSGi-Based Context-Aware Service Model for Ubiquitous Agricultural Environments
- Layered Architecture of the Suggested Service Model
- Conclusion
- References
- A Security Framework for Blocking New Types of Internet Worms in Ubiquitous Computing Environments
- Introduction
- Related Work
- Detection Method for Attacks
- A Change of Network Deployment for Security in Ubiquitous Computing Environments
- Security Framework for Blocking Internet Worm Attacks
- Network Deployment of the Proposed Framework
- Components for Blocking Internet Worm Attacks
- Conclusion
- References
- Quality Factors in Development Best Practices for Mobile Applications
- Introduction
- Models of Software Quality Factors
- McCall's Model
- Boehm's Model
- FURPS Model
- ISO 25010
- Development Best Practices for SMDs Applications
- Evaluation of Development Best Practices for SMDs Applications
- Conclusion
- References
- ShadowNet: An Active Defense Infrastructure for Insider Cyber Attack Prevention
- Introduction
- Related work
- An Active Defence Infrastructure
- Overview
- Cyber Attack Prevention Description
- Core Technologies
- Conclusion
- References
- Author Index
