The International Conference on Computational Science and its Applications was held in Kuala Lumpur, Malaysia, in August 2007. The conference drew leading researchers in computational science who came to share their findings and discuss the latest developments and applications in the field. This three-volume set constitutes the refereed proceedings of the conference.
The outstanding papers in these volumes present a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics to advanced applications in almost all sciences that use computational techniques.
The refereed papers are grouped according to the five major conference themes: computational methods; algorithms and applications; high performance technical computing and networks; advanced and emerging applications; geometric modeling, graphics and visualization information systems and technologies.
Author(s): Bo Hyun Kim, Sung Bum Park, Gyu Bong Lee, So Young Chung (auth.), Osvaldo Gervasi, Marina L. Gavrilova (eds.)
Series: Lecture Notes in Computer Science 4707 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 1208
Tags: Theory of Computation; Software Engineering/Programming and Operating Systems; Numeric Computing; Information Systems and Communication Service; Simulation and Modeling; Computer Imaging, Vision, Pattern Recognition and Graphics
Front Matter....Pages -
Framework of Integrated System for the Innovation of Mold Manufacturing Through Process Integration and Collaboration....Pages 1-10
A Study on Automated Design System for a Blow Mould....Pages 11-19
Development of an Evaluation System of the Informatization Level for the Mould Companies in Korea....Pages 20-32
Framework of a Collaboration-Based Engineering Service System for Mould Industry....Pages 33-44
Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises....Pages 45-54
Component Specification for Parallel Coupling Infrastructure....Pages 55-68
Real-Time Navigation for a Mobile Robot Based on the Autonomous Behavior Agent....Pages 69-80
Concurrent Subsystem-Component Development Model (CSCDM) for Developing Adaptive E-Commerce Systems....Pages 81-91
A Quantitative Approach for Ranking Change Risk of Component-Based Software....Pages 92-103
Relating Software Architecture Views by Using MDA....Pages 104-114
Update Propagation Technique for Data Grid....Pages 115-127
A Spatiotemporal Database Prototype for Managing Volumetric Surface Movement Data in Virtual GIS....Pages 128-139
Query Distributed Ontology over Grid Environment....Pages 140-153
CSP Transactors for Asynchronous Transaction Level Modeling and IP Reuse....Pages 154-168
A Robust Real-Time Message Scheduling Scheme Capable of Handling Channel Errors in Wireless Local Area Networks....Pages 169-178
Design and Implementation of a Tour Planning System for Telematics Users....Pages 179-189
Ionospheric F-Layer Critical Frequency Estimation from Digital Ionogram Analysis....Pages 190-200
Study of Digital License Search for Intellectual Property Rights of S/W Source Code....Pages 201-212
Creating Numerically Efficient FDTD Simulations Using Generic C++ Programming....Pages 213-226
Mutual Authentication Protocol for RFID Tags Based on Synchronized Secret Information with Monitor....Pages 227-238
Non-linear Least Squares Features Transformation for Improving the Performance of Probabilistic Neural Networks in Classifying Human Brain Tumors on MRI....Pages 239-247
Adaptive Scheduling for Real-Time Network Traffic Using Agent-Based Simulation....Pages 248-261
Defining Security Architectural Patterns Based on Viewpoints....Pages 262-272
A New Nonrepudiable Threshold Proxy Signature Scheme with Valid Delegation Period....Pages 273-284
Two-Stage Interval Krawczyk-Schwarz Methods with Applications to Nonlinear Parabolic PDE....Pages 285-297
Red-Black EDG SOR Iterative Method Using Triangle Element Approximation for 2D Poisson Equations....Pages 298-308
Performance of Particle Swarm Optimization in Scheduling Hybrid Flow-Shops with Multiprocessor Tasks....Pages 309-318
Branch-and-Bound Algorithm for Anycast Flow Assignment in Connection-Oriented Networks....Pages 319-329
Quasi-hierarchical Evolutionary Algorithm for Flow Optimization in Survivable MPLS Networks....Pages 330-342
An Exact Algorithm for the Minimal Cost Gateways Location, Capacity and Flow Assignment Problem in Two-Level Hierarchical Wide Area Networks....Pages 343-352
Implementing and Optimizing a Data-Intensive Hydrodynamics Application on the Stream Processor....Pages 353-366
On Disconnection Node Failure and Stochastic Static Resilience of P2P Communication Networks....Pages 367-378
An Efficient Sequence Alignment Algorithm on a LARPBS....Pages 379-387
An Effective Unconditionally Stable Algorithm for Dispersive Finite Difference Time Domain Simulations....Pages 388-397
A Novel Congestion Control Scheme for Elastic Flows in Network-on-Chip Based on Sum-Rate Optimization....Pages 398-409
3D Bathymetry Reconstruction from Airborne Topsar Polarized Data....Pages 410-420
A Parallel FDTD Algorithm for the Solution of Maxwell’s Equations with Nearly PML Absorbing Boundary Conditions....Pages 421-430
Application of Modified ICA to Secure Communications in Chaotic Systems....Pages 431-444
Zero Memory Information Sources Approximating to Video Watermarking Attacks....Pages 445-459
On Statistical Independence in the Logistic Map: A Guide to Design New Chaotic Sequences Useful in Cryptography....Pages 460-474
FVM- and FEM-Solution of Elliptical Boundary Value Problems in Different Coordinate Systems....Pages 475-485
Digital Simulation for Micro Assembly Arranged at Rectangular Pattern in Micro Factory....Pages 486-494
A New Quantized Input RLS, QI-RLS, Algorithm....Pages 495-506
Decentralized Replica Exchange Parallel Tempering: An Efficient Implementation of Parallel Tempering Using MPI and SPRNG....Pages 507-519
Approximation Algorithms for 2-Source Minimum Routing Cost k -Tree Problems....Pages 520-533
On the Expected Value of a Number of Disconnected Pairs of Nodes in Unreliable Network....Pages 534-543
Linearization of Stream Ciphers by Means of Concatenated Automata....Pages 544-554
Effective Quantification of Gene Expression Levels in Microarray Images Using a Spot-Adaptive Compound Clustering-Enhancement-Segmentation Scheme....Pages 555-565
Biomarker Selection, Employing an Iterative Peak Selection Method, and Prostate Spectra Characterization for Identifying Biomarkers Related to Prostate Cancer....Pages 566-574
Classic Cryptanalysis Applied to Exons and Introns Prediction....Pages 575-584
Chronic Hepatitis and Cirrhosis Classification Using SNP Data, Decision Tree and Decision Rule....Pages 585-596
Reconstruction of Suboptimal Paths in the Constrained Edit Distance Array with Application in Cryptanalysis....Pages 597-610
Solving a Practical Examination Timetabling Problem: A Case Study....Pages 611-624
A Geometric Design of Zone-Picking in a Distribution Warehouse....Pages 625-636
Routing Path Generation for Reliable Transmission in Sensor Networks Using GA with Fuzzy Logic Based Fitness Function....Pages 637-648
A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction....Pages 649-659
ontoX - A Method for Ontology-Driven Information Extraction....Pages 660-673
Improving the Efficiency and Efficacy of the K-means Clustering Algorithm Through a New Convergence Condition....Pages 674-682
Modelling Agent Strategies in Simulated Market Using Iterated Prisoner’s Dilemma....Pages 683-696
A Local Search Algorithm for a SAT Representation of Scheduling Problems....Pages 697-709
A Context-Aware Solution for Personalized En-route Information Through a P2P Agent-Based Architecture....Pages 710-723
A Survey of Revenue Models for Current Generation Social Software’s Systems....Pages 724-738
Context-Driven Requirements Analysis....Pages 739-748
Performance Analysis of Child/Descendant Queries in an XML-Enabled Database....Pages 749-762
Diagonal Data Replication in Grid Environment....Pages 763-773
Efficient Shock-Capturing Numerical Schemes Using the Approach of Minimised Integrated Square Difference Error for Hyperbolic Conservation Laws....Pages 774-789
Improvement on Real-Time Face Recognition Algorithm Using Representation of Face and Priority Order Matching....Pages 790-797
Modeling a Legged Robot for Visual Servoing....Pages 798-810
Information Extraction in a Set of Knowledge Using a Fuzzy Logic Based Intelligent Agent....Pages 811-820
Efficient Methods in Finding Aggregate Nearest Neighbor by Projection-Based Filtering....Pages 821-833
On Multicast Routing Based on Route Optimization in Network Mobility....Pages 834-843
An Effective XML-Based Sensor Data Stream Processing Middleware for Ubiquitous Service....Pages 844-857
Opportunistic Transmission for Wireless Sensor Networks Under Delay Constraints....Pages 858-871
Workflow-Level Parameter Study Support for Production Grids....Pages 872-885
Certificate Issuing Using Proxy and Threshold Signatures in Self-initialized Ad Hoc Network....Pages 886-899
XWELL: A XML-Based Workflow Event Logging Mechanism and Language for Workflow Mining Systems....Pages 900-909
Workcase-Oriented Workflow Enactment Components for Very Large Scale Workflows....Pages 910-919
A Workcase-Based Distributed Workflow Architecture and Its Implementation Using Enterprize Java Beans Framework....Pages 920-928
Building Web Application Fragments Using Presentation Framework....Pages 929-940
Three–Dimensional Bursting Simulation on Two Parallel Systems....Pages 941-949
PAR Reduction Scheme for Efficient Detection of Side Information in OFDM-BLAST System....Pages 950-957
Fuzzy PI Controller for Turbojet Engine of Unmanned Aircraft....Pages 958-967
Implementation of QoS-Aware Dynamic Multimedia Content Adaptation System....Pages 968-977
Experience of Efficient Data Transformation Solution for PCB Product Automation....Pages 978-986
Performance Evaluation for Component Retrieval....Pages 987-996
The Clustering Algorithm of Design Pattern Using Object-Oriented Relationship....Pages 997-1006
Modeling Parametric Web Arc Weight Measurement....Pages 1007-1016
Performance Analysis of EPC Class-1 Generation-2 RFID Anti-collision Protocol....Pages 1017-1026
Worst-Case Evaluation of Flexible Solutions in Disjunctive Scheduling Problems....Pages 1027-1036
The Search for a Good Lattice Augmentation Sequence in Three Dimensions....Pages 1037-1045
Tracing Illegal Users of Video: Reconsideration of Tree-Specific and Endbuyer-Specific Methods....Pages 1046-1055
Rendering of Translucent Objects Based Upon PRT Techniques....Pages 1056-1065
An Image-Adaptive Semi-fragile Watermarking for Image Authentication and Tamper Detection....Pages 1066-1075
Identification of Fuzzy Set-Based Fuzzy Systems by Means of Data Granulation and Genetic Optimization....Pages 1076-1085
Public Key Encryption with Keyword Search Based on K-Resilient IBE....Pages 1086-1095
Efficient Partially Blind Signatures with Provable Security....Pages 1096-1105
Study on Grid-Based Special Remotely Sensed Data Processing Node....Pages 1106-1113
Novel Algorithms for Quantum Simulation of 3 D Atom-Diatom Reactive Scattering....Pages 1114-1123
An Algorithm for Rendering Generalized Depth of Field Effects Based on Simulated Heat Diffusion....Pages 1124-1140
Fingerprint Template Protection Using Fuzzy Vault....Pages 1141-1151
Design and Application of Optimal Path Service System on Multi-level Road Network....Pages 1152-1164
Spatio-temporal Similarity Measure Algorithm for Moving Objects on Spatial Networks....Pages 1165-1178
Efficient Text Detection in Color Images by Eliminating Reflectance Component....Pages 1179-1186
Enhanced Non-disjoint Multi-path Source Routing Protocol for Wireless Ad-Hoc Networks....Pages 1187-1196
Back Matter....Pages -
