Computational Science and Its Applications - ICCSA 2003 | International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II

Computational Science is becoming a vital part of many scienti?c investi- tions, impacting researchers and practitioners in areas ranging from aerospace andautomotiveto chemistry,electronics,geosciences,?nance,mathematics,and physics. Due to the sheer size of many challenges in computational science, the use of supercomputing, parallel processing, and sophisticated algorithms is - evitable. This volume contains the proceedings of The 2003 International Conference on Computational Science and Its Applications (ICCSA 2003), held in M- treal, Canada in May 2003. The papers presented here re?ect the aim of the programcommittee to bring together researchersand scientists from mathem- ics and computer science, the basic computing disciplines, and researchers from various application areas who are pioneering advanced application of compu- tional methods to sciences such as physics, chemistry, life sciences, engineering, arts, and the humanities, along with software developers and vendors, to d- cuss problems and solutions in the area, identify new issues, and shape future directions for research, as well as help industrial users apply various advanced computational techniques. Our outstanding invited speakers outlined the theme for the Conference, consideringsophisticatednumericalcomputationalmethods,emergingcompu- tional solutions, and problems and applications pushing the bounds of advanced computing techniques and hardware. This Conference was held as the ?rst in its series, with an emphasis on C- putational Science and the application of computational science. Interest from researchers and practitioners in this interdisciplinary area has been overwhe- ing, and we are looking forward to future events in this Conference series.

Modeling of Location Management in Mobile Information Systems.- Dynamic Recovery Algorithm for the Multiple Failures in the WDM Based UMTS Networks.- Efficient Queuing Management Scheme with Image/Voice/Data Calls for Reducing Blocking Rate in Multimedia Mobile Networks.- Anomaly Detection Scheme Using Data Mining in Mobile Environment.- Network-Based Real-Time Connection Traceback System (NRCTS) with Packet Marking Technology.- Mobile Broadcasting Copyrights Model Based on XrML.- Mobility Management Scheme for Reducing Location Traffic Cost in IMT-2000 Networks.- Web-Based Object-Oriented Modeling on Internet.- Automatic Differentiation and Applications.- Uncertainty Analysis Based on Sensitivities Generated Using Automatic Differentiation.- Evaluation of a Computer Model for Wavy Falling Films Using EFCOSS.- Automatic Differentiation for Optimum Design, Applied to Sonic Boom Reduction.- An Example of an Automatic Differentiation-Based Modelling System.- Coupling Tangent-Linear and Adjoint Models.- Hierarchical Automatic Differentiation by Vertex Elimination and Source Transformation.- Mobile Computing: Routing and Handoff.- An Enhanced Hand-Off Policy to Reduce Blocking Probability in Two-LayerWireless Systems.- On Bandwidth Adjusted Multicast in Pipelined Routing Architecture for Mobile Environment.- Cost Effective Location Management Scheme Based on Hierarchical Mobile IPv6.- On Employing Hierarchical Structure in PCS Networks.- Design of Mobile IP Extension for Nested Mobile Network.- Dual Transmission Architecture for Mobile Multicasting.- Mobile Computing: Authentication Technology.- Secure Source Specific Multicast for Networks Including Mobile Hosts.- Security Analysis and Applications of Standard Key Agreement Protocols.- An Improved Password Authentication Key Exchange Protocol for 802.11 Environment.- A Ticket-Based AAA Security Mechanism in Mobile IP Network.- Secure and Scalable Mobile IP Registration Scheme Using PKI.- Secure Session Key Exchange for Mobile IP Low Latency Handoffs.- Coarse Grained Parallel Algorithms for Scientific Applications.- A Coarse-Grained Multicomputer Algorithm for the Longest Repeated Suffix Ending at Each Point in a Word.- A Parallel Wavefront Algorithm for Efficient Biological Sequence Comparison.- Mining Multivariate Time Series Models with Soft-Computing Techniques: A Coarse-Grained Parallel Computing Approach.- Towards Realistic Implementations of External Memory Algorithms Using a Coarse Grained Paradigm.- Designing an Efficient Partitioning Algorithm for Grid Environments with Application to N-body Problems.- Coarse-Grained Parallel Matrix-Free Solution of a Three-Dimensional Elliptic Prototype Problem.- Parallel CLUSTAL W for PC Clusters.- Theme: Information Systems and Technologies Security and Watermarking.- A Robust Watermarking Technique in Geometric Distortion of Digital Image.- Design of Secure Monitor in the Secure Zone Cooperation.- A Proposal for DoS-Defensive Internet Key Exchange.- A Random M-ary Method Based Countermeasure against Side Channel Attacks.- Wavelet-Based Blind Watermarking Technique for Real-Time Watermark Interpretation.- Design of Active HoneyPot System.- Localized Authentication Scheme Using AAA in Mobile IPv6.- Autonomous Agents-Based Security Infrastructure.- Graphics and Image.- The Modified Block Matching Algorithm for a Hand Tracking of an HCI System.- Face Retrieval Using 1st- and 2nd-order PCA Mixture Model.- Concept Based Image Retrieval Using the Domain Ontology.- On Natural Motion Editing by a Geometric Mean Filter.- High Quality VoD Service Architecture on Broadband Internet.- Geometric Querying for Dynamic Exploration of Multidimensional Data.- Mobile and Wireless Networking.- Design of Dynamic Slot Assignment Protocol for Wireless Communication.- Adaptive Modulation and Coding of MIMO in Next Generation Mobile Systems.- Performance Improvement of DS/CDMA System under Impulsive Noise Environments.- The Modeling and Traffic Feedback Control for QoS Management on Local Network.- Design and Verification of Interworking Protocol for CC and SIP in Generation Mobile Network.- VOD Service Using Web-Caching Technique on the Head-End-Network.- Operating Systems Techniques and Databases.- Hybrid Scheme for Ubiquitous Computing.- An Enhanced Main Memory Index Structure Employing the Level Prefetching Technique.- Reusable Software Component Retrieval System Based on Web.- A Hybrid Concurrency Control with Deadlock-free Approach.- Weak Consistency in Hybrid Group Update for Replication.- Experimental Evaluation of Query Fingerprinting with Embedded Search Term Markers.- Software Development.- An Efficient Optimization Algorithm of Java Bytecode to Reduce Network Traffic.- An Efficient Small Sized On-Card Verifier for Java Card.- Distributed Object-Oriented Parallel Programming Environment on Grid.- An Architecture for C-commerce System Design.- A Probabilistic Model for Predicting Software Development Effort.- Knowledge Acquisition in the Nutri-Fuzzy-ORIXAS Project.- Speech Recognition and Agent Technologies.- The Merging Algorithm for an Extraction of Valid Speech-Sounds.- Agent Migration Information System for the Efficient Migration of the Mobile Agent.- Schematic Aspect for Autonomous Agent.- Robust Speaker Recognition Against Utterance Variations.- Efficient Speaker Identification Based on Robust VQ-PCA.- An Amplitude Warping Approach to Intra-speaker Normalization for Speech Recognition.- Computational Theory and Test and Simulation.- Scenario Based Testing & Test Plan Metrics Based on a Use Case Approach for Real Time UPS (Uninterruptible Power System).- A Study on Insuring the Full Reliability of Finite State Machine.- Distributed Multiple-Path Searching Algorithm for Fault Detection.- An Object-Oriented Simulation System for Air Defense.- Evaluation and Analysis of Computational Complexity for Secure Multicast Models.- An Algorithm for Diagnosing System with Structured Description.- Wave Phenomena in Physics and Engineering: New Models, Algorithms, and Applications.- FETD Simulation of Wave Propagation Modeling the Cari Breast Sonography.- Finite Element Simulation of BAW Propagation in Inhomogeneous Plate Due to Piezoelectric Actuation.- Exact Solutions of the Generalized Equal Width Wave Equation.- Quantum Dot and Acoustic Enclosure Problems in Lens-Shaped Structures.- Nonlinear Spectral Finite Element Model for Analysis of Wave Propagation in Solid with Internal Friction and Dissipation.- Finite Element Analysis of Nanowire Superlattice Structures.- On a Class of Boussinesq Equations for Shallow Water Waves.- Elastic Waves Propagation in Damped Media.- A Fast Algorithm for Moving Interface Problems.- Computational Aspects of Conservative Difference Schemes for Shape Memory Alloys Applications.- Optimization in the Context of Active Control of Sound.- On Disintegration of Cellular Flames.- Investigation of a Three-Dimensional Spectral Element Method for Helmholtz’s Equation.- Effect of Vortex Profile on Sound Generation in a Non-uniform Flow.- Numerical Simulation of Laminar Mixing Surfaces in Converging Microchannel Flows.- Preconditionning Techniques for the Solution of the Helmholtz Equation by the Finite Element Method.- Direct Numerical Simulations of Instability-Wave Generation and Propagation in Supersonic Boundary Layers.- Modeling of Plume Dynamics and Shock Wave in Laser Ablation with Application to Nano-Technology.- Monte Carlo Simulation of Spin-Polarized Transport.- Web-Based Learning.- A Web-Based Environmental Education System for Elementary School Students.- Evaluating the Web-Based Instruction by Item Analysis.- Supporting Transactional Service for Virtual School Environments.- Design and Implementation of a Hybrid Instruction Model for Web-Based Learning.- Design and Implementation of a Web-Based Information Literacy Cultivation System for Emotionally Disturbed Students.