Computational Science and Its Applications – ICCSA 2009: International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

Content: 
Front Matter....Pages -
Ontology-Based Requirements Conflicts Analysis in Activity Diagrams....Pages 1-12
Resource Allocation Optimization for GSD Projects....Pages 13-28
Verification of Use Case with Petri Nets in Requirement Analysis....Pages 29-42
Towards Guidelines for a Development Process for Component-Based Embedded Systems....Pages 43-58
Effective Project Leadership in Computer Science and Engineering....Pages 59-69
Weyuker’s Properties, Language Independency and Object Oriented Metrics....Pages 70-81
Lattice Constant Prediction of A2BB’O6 Type Double Perovskites....Pages 82-92
A Grid Implementation of Direct Semiclassical Calculations of Rate Coefficients....Pages 93-103
A Grid Implementation of Direct Quantum Calculations of Rate Coefficients....Pages 104-114
A Grid Implementation of Chimere: Ozone Production in Central Italy....Pages 115-129
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT....Pages 130-144
Testing Topologies for the Evaluation of IPSEC Implementations....Pages 145-154
Evaluation of a Client Centric Payment Protocol Using Digital Signature Scheme with Message Recovery Using Self-Certified Public Key....Pages 155-163
Security Vulnerabilities of a Remote User Authentication Scheme Using Smart Cards Suited for a Multi-server Environment....Pages 164-172
Enhancing Security of a Group Key Exchange Protocol for Users with Individual Passwords....Pages 173-181
Smart Card Based AKE Protocol Using Biometric Information in Pervasive Computing Environments....Pages 182-190
 A Practical Approach to a Reliable Electronic Election....Pages 191-203
Security Weakness in a Provable Secure Authentication Protocol Given Forward Secure Session Key....Pages 204-211
Performance of STBC PPM-TH UWB Systems with Double Binary Turbo Code in Multi-user Environments....Pages 212-225
Performance Evaluation of PN Code Acquisition with Delay Diversity Receiver for TH-UWB System....Pages 226-236
Performance Analysis of Binary Negative-Exponential Backoff Algorithm in IEEE 802.11a WLAN under Erroneous Channel Condition....Pages 237-249
A Resource-Estimated Call Admission Control Algorithm in 3GPP LTE System....Pages 250-260
Problems with Correct Traffic Differentiation in Line Topology IEEE 802.11 EDCA Networks in the Presence of Hidden and Exposed Nodes....Pages 261-275
Adaptive and Iterative GSC/MRC Switching Techniques Based on CRC Error Detection for AF Relaying System....Pages 276-285
WiBro Net.-Based Five Senses Multimedia Technology Using Mobile Mash-Up....Pages 286-301
Overlay Ring Based Secure Group Communication Scheme for Mobile Agents....Pages 302-313
Enhanced Multiple-Shift Scheme for Rapid Code Acquisition in Optical CDMA Systems....Pages 314-324
AltBOC and CBOC Correlation Functions for GNSS Signal Synchronization....Pages 325-334
Performance Enhancement of IEEE 802.11b WLANs Using Cooperative MAC Protocol....Pages 335-344
Authentication Scheme Based on Trust and Clustering Using Fuzzy Control in Wireless Ad-Hoc Networks....Pages 345-360
On Relocation of Hopping Sensors for Balanced Migration Distribution of Sensors....Pages 361-371
Hybrid Hard/Soft Decode-and-Forward Relaying Protocol with Distributed Turbo Code....Pages 372-382
Design of an Efficient Multicast Scheme for Vehicular Telematics Networks....Pages 383-392
ODDUGI: Ubiquitous Mobile Agent System....Pages 393-407
Determination of the Optimal Hop Number for Wireless Sensor Networks....Pages 408-418
Localization in Sensor Networks with Fading Channels Based on Nonmetric Distance Models....Pages 419-431
A Performance Comparison of Swarm Intelligence Inspired Routing Algorithms for MANETs....Pages 432-442
Analysis of Moving Patterns of Moving Objects with the Proposed Framework....Pages 443-452
A User-Defined Index for Containment Queries in XML....Pages 453-464
On Optimal Placement of the Monitoring Devices on Channels of Communication Network....Pages 465-478
Low Latency Handover Scheme Based on Optical Buffering at LMA in Proxy MIPv6 Networks....Pages 479-490
A Capacity Aware Data Transport Protocol for Wireless Sensor Network....Pages 491-502
Data Distribution of Road-Side Information Station in Vehicular Ad Hoc Networks (VANETs)....Pages 503-512
VC-GTS: Virtual Cut-Through GTS Allocation Scheme for Voice Traffic in Multihop IEEE 802.15.4 Systems....Pages 513-524
Towards Location-Based Real-Time Monitoring Systems in u-LBS....Pages 525-536
A Fast Approximation Algorithm for the k Partition-Distance Problem....Pages 537-546
A PSO – Line Search Hybrid Algorithm....Pages 547-556
Using Meaning of Coefficients of the Reliability Polynomial for Their Faster Calculation....Pages 557-571
A Novel Tree Graph Data Structure for Point Datasets....Pages 572-579
Software Dependability Analysis Methodology....Pages 580-593
New Approach for the Pricing of Bond Option Using the Relation between the HJM Model and the BGM Model....Pages 594-604
Measuring Anonymous Systems with the Probabilistic Applied Pi Calculus....Pages 605-620
YAO: A Software for Variational Data Assimilation Using Numerical Models....Pages 621-636
CNP: A Protocol for Reducing Maintenance Cost of Structured P2P....Pages 637-652
A Research on Instability of Small Flow in SCADA and an Optimizing Design for Control....Pages 653-663
On-Demand Chaotic Neural Network for Broadcast Scheduling Problem....Pages 664-676
Mining Spread Patterns of Spatio-temporal Co-occurrences over Zones....Pages 677-692
Computerized Detection of Pulmonary Nodule Based on Two-Dimensional PCA....Pages 693-702
Computational Measurements of the Transient Time and of the Sampling Distance That Enables Statistical Independence in the Logistic Map....Pages 703-718
Future Personal Health Records as a Foundation for Computational Health....Pages 719-733
SVM Based Decision Analysis and Its Granular-Based Solving....Pages 734-748
Fast Object Tracking in Intelligent Surveillance System....Pages 749-763
A Reliable Skin Detection Using Dempster-Shafer Theory of Evidence....Pages 764-779
Video Shot Boundary Detection Using Generalized Eigenvalue Decomposition....Pages 780-790
Content Quality Assessment Related Frameworks for Social Media....Pages 791-805
Weighted Aspect Moment Invariant in Pattern Recognition....Pages 806-818
Multiple Object Types KNN Search Using Network Voronoi Diagram....Pages 819-834
RRPS: A Ranked Real-Time Publish/Subscribe Using Adaptive QoS....Pages 835-850
A Dynamic Packet Management in a Protocol Processor....Pages 851-862
On a Construction of Short Digests for Authenticating Ad Hoc Networks....Pages 863-876
Learning and Predicting Key Web Navigation Patterns Using Bayesian Models....Pages 877-887
A Hybrid IP Forwarding Engine with High Performance and Low Power....Pages 888-899
Learning Styles Diagnosis Based on Learner Behaviors in Web Based Learning....Pages 900-909
State of the Art in Semantic Focused Crawlers....Pages 910-924
Towards a Framework for Workflow Composition in Ontology Tailoring in Semantic Grid....Pages 925-936
Fusion Segmentation Algorithm for SAR Images Based on HMT in Contourlet Domain and D-S Theory of Evidence....Pages 937-951
Back Matter....Pages -