Computational Science and Its Applications -- ICCSA 2012: 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III (Lecture Notes in Computer Science, 7335)

Annotation 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 Front Matter....Pages - Incorporating Radial Basis Functions in Pattern Search Methods: Application to Beam Angle Optimization in Radiotherapy Treatment Planning....Pages 1-16 On the Complexity of a Mehrotra-Type Predictor-Corrector Algorithm....Pages 17-29 Design of Wood Biomass Supply Chains....Pages 30-44 On Solving a Stochastic Programming Model for Perishable Inventory Control....Pages 45-56 An Artificial Fish Swarm Filter-Based Method for Constrained Global Optimization....Pages 57-71 Solving Multidimensional 0–1 Knapsack Problem with an Artificial Fish Swarm Algorithm....Pages 72-86 Optimization Model of COTS Selection Based on Cohesion and Coupling for Modular Software Systems under Multiple Applications Environment....Pages 87-102 A Derivative-Free Filter Driven Multistart Technique for Global Optimization....Pages 103-118 On Lower Bounds Using Additively Separable Terms in Interval B&B....Pages 119-132 A Genetic Algorithm for the Job Shop on an ASRS Warehouse....Pages 133-146 On Solving the Profit Maximization of Small Cogeneration Systems....Pages 147-158 Global Optimization Simplex Bisection Revisited Based on Considerations by Reiner Horst....Pages 159-173 Application of Variance Analysis to the Combustion of Residual Oils....Pages 174-186 Warehouse Design and Planning: A Mathematical Programming Approach....Pages 187-201 Application of CFD Tools to Optimize Natural Building Ventilation Design....Pages 202-216 Middleware Integration for Ubiquitous Sensor Networks in Agriculture....Pages 217-226 Usage Pattern-Based Prefetching: Quick Application Launch on Mobile Devices....Pages 227-237 EIMOS: Enhancing Interactivity in Mobile Operating Systems....Pages 238-247 Development of Mobile Hybrid MedIntegraWeb App for Interoperation between u-RPMS and HIS....Pages 248-258 A Distributed Lifetime-Maximizing Scheme for Connected Target Coverage in WSNs....Pages 259-271 Reducing Last Level Cache Pollution in NUMA Multicore Systems for Improving Cache Performance....Pages 272-282 The Fast Handover Scheme for Mobile Nodes in NEMO-Enabled PMIPv6....Pages 283-296 A Reference Model for Virtual Resource Description and Discovery in Virtual Networks....Pages 297-310 TV Remote Control Using Human Hand Motion Based on Optical Flow System....Pages 311-323 Fast and Reliable Data Forwarding in Low-Duty-Cycle Wireless Sensor Networks....Pages 324-338 Neural Network and Physiological Parameters Based Control of Artificial Pancreas for Improved Patient Safety....Pages 339-351 A Genetic Algorithm Assisted Resource Management Scheme for Reliable Multimedia Delivery over Cognitive Networks....Pages 352-367 Performance Analysis of WiMAX Best Effort and ertPS Service Classes for Video Transmission....Pages 368-375 Jump Oriented Programming on Windows Platform (on the x86)....Pages 376-390 Cryptanalysis and Improvement of a Biometrics-Based Multi-server Authentication with Key Agreement Scheme....Pages 391-406 Rate-Distortion Optimized Transcoder Selection for Multimedia Transmission in Heterogeneous Networks....Pages 407-418 Formal Probabilistic Analysis of Cyber-Physical Transportation Systems....Pages 419-434 DEM Reconstruction of Coastal Geomorphology from DINSAR....Pages 435-446 Three-Dimensional Coastal Front Visualization from RADARSAT-1 SAR Satellite Data....Pages 447-456 A New Self-Learning Algorithm for Dynamic Classification of Water Bodies....Pages 457-470 DEM Accuracy of High Resolution Satellite Images....Pages 471-480 Low Cost Pre-operative Fire Monitoring from Fire Danger to Severity Estimation Based on Satellite MODIS, Landsat and ASTER Data: The Experience of FIRE-SAT Project in the Basilicata Region (Italy)....Pages 481-496 Investigating Satellite Landsat TM and ASTER Multitemporal Data Set to Discover Ancient Canals and Acqueduct Systems....Pages 497-511 Using Spatial Autocorrelation Techniques and Multi-temporal Satellite Data for Analyzing Urban Sprawl....Pages 512-527 A Framework for QoS Based Dynamic Web Services Composition....Pages 528-538 Data Summarization Model for User Action Log Files....Pages 539-549 User Modeling for Adaptive E-Learning Systems....Pages 550-561 An Experimental Study of the Combination of Meta-Learning with Particle Swarm Algorithms for SVM Parameter Selection....Pages 562-575 An Investigation into Agile Methods in Embedded Systems Development....Pages 576-591 Heap Slicing Using Type Systems....Pages 592-606 Using Autonomous Search for Generating Good Enumeration Strategy Blends in Constraint Programming....Pages 607-617 Evaluation of Normalization Techniques in Text Classification for Portuguese....Pages 618-630 Extracting Definitions from Brazilian Legal Texts....Pages 631-646 A Heuristic Diversity Production Approach....Pages 647-656 Structuring Taxonomies from Texts: A Case-Study on Defining Soil Classes....Pages 657-666 Exploring Fuzzy Ontologies in Mining Generalized Association Rules....Pages 667-681 BTA: Architecture for Reusable Business Tier Components with Access Control....Pages 682-697 Analysing the PDDL Language for Argumentation-Based Negotiation Planning....Pages 698-713 Predicting Potential Responders in Twitter: A Query Routing Algorithm....Pages 714-729 Towards a Goal Recognition Model for the Organizational Memory....Pages 730-742 SART: A New Association Rule Method for Mining Sequential Patterns in Time Series of Climate Data....Pages 743-757 Back Matter....Pages - 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 applications (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