Distributed Computing and Internet Technology

Interval-Based Global State Detection.- Grid Computing.- A Two-Phase Scheduling Algorithm for Efficient Collective Communications of MPICH-G2.- Towards an Agent-Based Framework for Monitoring and Tuning Application Performance in Grid Environment.- GDP: A Paradigm for Intertask Communication in Grid Computing Through Distributed Pipes.- Internet Technology.- Internet Technology Track Chair's Message.- Internet Search and Query.- Rewriting Queries Using View for RDF/RDFS-Based Relational Data Integration.- An Effective Searching Method Using the Example-Based Query.- On Communicating with Agents on the Network.- E-Commerce.- Applying Fuzzy Logic to Recommend Consumer Electronics.- Generic XML Schema Definition (XSD) to GUI Translator.- Off-Line Micro-payment System for Content Sharing in P2P Networks.- Browsing and Analysis of Web Elements.- FlexiRank: An Algorithm Offering Flexibility and Accuracy for Ranking the Web Pages.- Adaptable Web Browsing of Images in Mobile Computing Environment: Experiments and Observations.- An Incremental Document Clustering Algorithm Based on a Hierarchical Agglomerative Approach.- Systems Security.- System Security Track Chair's Message.- Theory of Secured Systems.- A Game Based Model of Security for Key Predistribution Schemes in Wireless Sensor Network.- E-mail Worm Detection Using the Analysis of Behavior.- Verifiably Encrypted Signature Scheme Without Random Oracles.- Intrusion Detection and Ad Hoc Network Security.- An Improved Intrusion Detection Technique for Mobile Adhoc Networks.- User Revocation in Secure Adhoc Networks.- A Hybrid Method to Intrusion Detection Systems Using HMM.- Secured Systems Techniques.- Enhanced Network Traffic Anomaly Detector.- Statistically Secure Extension of Anti-collusion Code Fingerprinting.- An Improvement of Auto-Correlation Based Video Watermarking Scheme Using Perceptual Masking for Motion.- Validation of Policy Integration Using Alloy.- Plenary Talk II.- Linking Theories of Concurrency by Retraction.- Software Engineering.- Software Engineering Track Chair's Message.- Software Architecture.- Integrating Architecture Description Languages: A Semantics-Based Approach.- Automated Runtime Validation of Software Architecture Design.- Software Optimization and Reliability.- Analyzing Loop Paths for Execution Time Estimation.- A Technique for Early Software Reliability Prediction.- Formal Methods.- Executable Requirements Specifications Using Triggered Message Sequence Charts.- Efficient Symmetry Reduction for an Actor-Based Model.- Validated Code Generation for Activity Diagrams.- Data Mining.- Data Mining Track Chair's Message.- Data Clustering Techniques.- An Approach to Find Embedded Clusters Using Density Based Techniques.- Using Sub-sequence Information with kNN for Classification of Sequential Data.- Distance-Based Outliers in Sequences.- Capturing Market Intelligence from Customer Feedback E-mails Using Self-enhancing Bolzmann Machine-Based Network of Knowledge Maps.- Multidimensional Data Mining.- Algorithm for Fuzzy Clustering of Mixed Data with Numeric and Categorical Attributes.- Dissemination of Multidimensional Data Using Broadcast Clusters.- Multidimensional Frequent Pattern Mining Using Association Rule Based Constraints.- A Classification Based Approach for Root Unknown Phylogenetic Networks Under Constrained Recombination.- Erratum.- Using Sub-sequence Information with kNN for Classification of Sequential Data.- Capturing Market Intelligence from Customer Feedback E-mails Using Self-enhancing Boltzmann Machine-Based Network of Knowledge Maps.