Computational Science and Its Applications – ICCSA 2012: 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III

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 -