The two-volume set LNCS 5592 and 5593 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2009, held in Seoul, Korea, in June/July, 2009.
The two volumes contain papers presenting a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in virtually all sciences making use of computational techniques.
The topics of the fully refereed papers are structured according to the five major conference themes: computational methods, algorithms and scientific applications, high performance technical computing and networks, advanced and emerging applications, as well as information systems and information technologies.
Moreover, submissions from more than 20 workshops and technical sessions contribute to this publication. These cover topics such as geographical analysis, urban modeling, spatial statistics, wireless and ad hoc networking, logical, scientific and computational aspects of pulse phenomena in transitions, high-performance computing and information visualization, sensor network and its applications, molecular simulations structures and processes, collective evolutionary systems, software engineering processes and applications, molecular simulations structures and processes, internet communication security, security and privacy in pervasive computing environments, and mobile communications.
Table of ContentsWorkshop on Software Engineering Processes and Applications (SEPA 2009).- Ontology-Based Requirements Conflicts Analysis in Activity Diagrams.- Resource Allocation Optimization for GSD Projects.- Verification of Use Case with Petri Nets in Requirement Analysis.- Towards Guidelines for a Development Process for Component-Based Embedded Systems.- Effective Project Leadership in Computer Science and Engineering.- Weyuker’s Properties, Language Independency and Object Oriented Metrics.- Workshop on Molecular Simulations Structures and Processes (MOSSAP 2009).- Lattice Constant Prediction of A2BB’O6 Type Double Perovskites.- A Grid Implementation of Direct Semiclassical Calculations of Rate Coefficients.- A Grid Implementation of Direct Quantum Calculations of Rate Coefficients.- A Grid Implementation of Chimere: Ozone Production in Central Italy.- Workshop on Internet Communication Security (WICS 2009).- MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT.- Testing Topologies for the Evaluation of IPSEC Implementations.- Evaluation of a Client Centric Payment Protocol Using Digital Signature Scheme with Message Recovery Using Self-Certified Public Key.- Workshop on Security and Privacy in Pervasive Computing Environments (SPPC 2009).- Security Vulnerabilities of a Remote User Authentication Scheme Using Smart Cards Suited for a Multi-server Environment.- Enhancing Security of a Group Key Exchange Protocol for Users with Individual Passwords.- Smart Card Based AKE Protocol Using Biometric Information in Pervasive Computing Environments.- A Practical Approach to a Reliable Electronic Election.- Security Weakness in a Provable Secure Authentication Protocol Given Forward Secure Session Key.- Workshop on Mobile Communications (MC 2009).- Performance of STBC PPM-TH UWB Systems with Double Binary Turbo Code in Multi-user Environments.- Performance Evaluation of PN Code Acquisition with Delay Diversity Receiver for TH-UWB System.- Performance Analysis of Binary Negative-Exponential Backoff Algorithm in IEEE 802.11a WLAN under Erroneous Channel Condition.- A Resource-Estimated Call Admission Control Algorithm in 3GPP LTE System.- Problems with Correct Traffic Differentiation in Line Topology IEEE 802.11 EDCA Networks in the Presence of Hidden and Exposed Nodes.- Adaptive and Iterative GSC/MRC Switching Techniques Based on CRC Error Detection for AF Relaying System.- WiBro Net.-Based Five Senses Multimedia Technology Using Mobile Mash-Up.- Overlay Ring Based Secure Group Communication Scheme for Mobile Agents.- Enhanced Multiple-Shift Scheme for Rapid Code Acquisition in Optical CDMA Systems.- AltBOC and CBOC Correlation Functions for GNSS Signal Synchronization.- Performance Enhancement of IEEE 802.11b WLANs Using Cooperative MAC Protocol.- Authentication Scheme Based on Trust and Clustering Using Fuzzy Control in Wireless Ad-Hoc Networks.- On Relocation of Hopping Sensors for Balanced Migration Distribution of Sensors.- Hybrid Hard/Soft Decode-and-Forward Relaying Protocol with Distributed Turbo Code.- Design of an Efficient Multicast Scheme for Vehicular Telematics Networks.- ODDUGI: Ubiquitous Mobile Agent System.- Determination of the Optimal Hop Number for Wireless Sensor Networks.- Localization in Sensor Networks with Fading Channels Based on Nonmetric Distance Models.- A Performance Comparison of Swarm Intelligence Inspired Routing Algorithms for MANETs.- Analysis of Moving Patterns of Moving Objects with the Proposed Framework.- A User-Defined Index for Containment Queries in XML.- On Optimal Placement of the Monitoring Devices on Channels of Communication Network.- Low Latency Handover Scheme Based on Optical Buffering at LMA in Proxy MIPv6 Networks.- A Capacity Aware Data Transport Protocol for Wireless Sensor Network.- Data Distribution of Road-Side Information Station in Vehicular Ad Hoc Networks (VANETs).- VC-GTS: Virtual Cut-Through GTS Allocation Scheme for Voice Traffic in Multihop IEEE 802.15.4 Systems.- Towards Location-Based Real-Time Monitoring Systems in u-LBS.- General Track on Computational Methods, Algorithms and Applications.- A Fast Approximation Algorithm for the k Partition-Distance Problem.- A PSO – Line Search Hybrid Algorithm.- Using Meaning of Coefficients of the Reliability Polynomial for Their Faster Calculation.- A Novel Tree Graph Data Structure for Point Datasets.- Software Dependability Analysis Methodology.- New Approach for the Pricing of Bond Option Using the Relation between the HJM Model and the BGM Model.- Measuring Anonymous Systems with the Probabilistic Applied Pi Calculus.- YAO: A Software for Variational Data Assimilation Using Numerical Models.- General Track on High Performance Technical Computing and Networks.- CNP: A Protocol for Reducing Maintenance Cost of Structured P2P.- A Research on Instability of Small Flow in SCADA and an Optimizing Design for Control.- On-Demand Chaotic Neural Network for Broadcast Scheduling Problem.- General Track on Advanced and Emerging Applications.- Mining Spread Patterns of Spatio-temporal Co-occurrences over Zones.- Computerized Detection of Pulmonary Nodule Based on Two-Dimensional PCA.- Computational Measurements of the Transient Time and of the Sampling Distance That Enables Statistical Independence in the Logistic Map.- Future Personal Health Records as a Foundation for Computational Health.- SVM Based Decision Analysis and Its Granular-Based Solving.- Fast Object Tracking in Intelligent Surveillance System.- A Reliable Skin Detection Using Dempster-Shafer Theory of Evidence.- Video Shot Boundary Detection Using Generalized Eigenvalue Decomposition.- Content Quality Assessment Related Frameworks for Social Media.- Weighted Aspect Moment Invariant in Pattern Recognition.- Multiple Object Types KNN Search Using Network Voronoi Diagram.- General Track on Information Systems and Information Technologies.- RRPS: A Ranked Real-Time Publish/Subscribe Using Adaptive QoS.- A Dynamic Packet Management in a Protocol Processor.- On a Construction of Short Digests for Authenticating Ad Hoc Networks.- Learning and Predicting Key Web Navigation Patterns Using Bayesian Models.- A Hybrid IP Forwarding Engine with High Performance and Low Power.- Learning Styles Diagnosis Based on Learner Behaviors in Web Based Learning.- State of the Art in Semantic Focused Crawlers.- Towards a Framework for Workflow Composition in Ontology Tailoring in Semantic Grid.- Fusion Segmentation Algorithm for SAR Images Based on HMT in Contourlet Domain and D-S Theory of Evidence.