Table of Contents

• Model-Based Multi-Modal Information Retrieval from Large ArchivesChung-Sheng Li, Yuan-Chi Chang, Lawrence D. Bergman, John R. Smith.
• Flexible Secure Multicasting in Active NetworksZhaoyu Liu, Roy H. Campbell, Sudha K. Varadarjan, Prasad Naldurg, Seung Yi, M. Dennis Mickunas.
• JTViewer: A Java JMF-based Viewer for Real-Time TV-like StreamsSheng-Tun Li, Tan-Sheng Li, Shih-Wei Chou.
• Group Communication Protocol in Object-Based SystemsYouhei Timura, Katsuya Tanaka, Makoto Takizawa.
• Adding Mobility to Non-Mobile Web RobotsNils P. Sudmann, Dag Johansen.
• Mining Association Rules from Semi-Structured DataKohei Maruyama, Kuniaki Uehara.
• Web Mining for Discovering Spatio-Temporal PatternsSheng-Tun Li.
• Movement-based Location Tracking with Extended Spatial LocalitiesJong-Min Lee, Seung Ryoul Maeng, Hyunsoo Yoon, Minhee Cho, Boseob Kwon, Jin-Soo Kim, Myung-Kyun Kim.
• Path-based Model CheckingWen Chien Liu, Chyan-Goei Chung.
• Guided Synthesis of Control Programs Using UPPAALThomas Hune, Kim Guldstrand Larsen, Paul Pettersson.
• Integration of Technology and Management - An Empirical Research for Computer Network Course in Information Management Department from TaiwanShih-Wei Chou.
• Flexible Server Selection using DNSToshihiko Shimokawa, Norihiko Yoshida, Kazuo Ushijima.
• Load-Sensitive Handover Scheme over Wireless Local Area NetworksDaichi Furusaka, Takeshi Iwamoto, Tomohiro Nagata, Hideyuki Tokuda.
• The Intelligent Recommendation AnalyzerCharu C. Aggarwal, Joel L. Wolf, Kun-Lung Wu, Philip S. Yu.
• Towards a Generic Logic for Analysing Network ProtocolsHongxue Wang, Vijay Varadharajan, Yan Zhang.
• Synthesizing Coordination Procedures for Distributed Testing of Distributed SystemsLénaick Tanguy, César Viho, Claude Jard.
• A Study on Delayed Packet Discard SchemesManhee Jo, Yoshihiko Ebihara.
• RDP: A Result Delivery Protocol for Mobile ComputingMarkus Endler, Dilma Silva, Kunio Okuda.
• Evaluation of Simple Packet Aggregation Technique for Fault DetectionAkira Kanamura, Kohei Ohta, Nei Kato, Glenn Mansfield, Yoshiaki Nemoto.
• An Authentication Protocol for Mobilde DevicesPaulo Simões, Pedro Alves, José Rogado, Paulo Ferreira.
• Compositional Verification of a Third Generation Mobile Communication ProtocolSari Leppänen, Matti Luukkainen.
• A New Approach to Deterministic Execution Testing for Concurrent ProgramsIn Sang Chung, Byeong Man Kim, Hyeon Soo Kim.
• Secure Information Flow in Mobile Bootstrapping ProcessZhaoyu Liu, M. Dennis Mickunas, Roy H. Campbell.
• Test Framework for Component-Based SystemsMarc Born, Ina Schieferdecker, Mang Li.
• Specifying and Verifying IP with Linear LogicDavid Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff Hamilton.
• A Method for Reducing Network Routing InstabilityZhang Shu, Suguru Yamaguchi, Heiichi Yamamoto.
• Enabling Quality-of-Service Management for Voice/Data-Integrated Mobile CommunicationMichael Wallbaum, Hendrik Decker.
• Improving Multicast ACK Tree Construction with the Token Repository ServiceChristian Maihöfer.
• Group Protocol for Exchanging Multimedia Objects in a GroupKenichi Shimamura, Katsuya Tanaka, Makoto Takizawa.
• Integrating XML Data with Relational DatabasesWang-Chien Lee, Gail Mitchell, Xin Zhang.
• Experimenting Acceleration Methods for the Validation of Infinite State SystemsJean-Paul Bodeveix, Mamoun Filali.
• A Real-Time Medium Access Control Protocol for Wireless Local Area NetworkJianqiang Rao, Shengming Jiang, Dajiang He.
• Handling Camera Anchors in Distributed Surveillance SystemsMinhee Cho, Geunhwi Lim, Seong Bae Eun, Hyunsoo Yoon.
• Adaptive Real-Time Monitoring Mechanism for Replicated Distributed Video Player SystemsChris C. H. Ngan, Kam-yiu Lam, Edward Chan.
• Best Case Response Time Analysis for Improved Schedulability Analysis of Distributed Real-Time TasksTaewoong Kim, Junghoon Lee, Heonshik Shin, Naehyuck Chang.
• Packet Caching Policy Design in Active Reliable MulticastHo-lun T. Wong, Kwan Lawrence Yeung.
• A Denotational Model for Probabilistic and Nondeterministic ProcessesDiego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo.
• Enhanced Algorithm for Mining Frequently Visited Page GroupsYiling Yang, Xudong Guan, Jinyuan You.
• An Approach for the Design and Simulation of Information Retrieval ProtocolsPing-Wen Chen, Yasuro Kawata, Hossam I. Gharib, Shi-Kuo Chang.
• A Reliable Multicast Protocol with Total Ordering for Distributed Virtual EnvironmentFumiaki Sato, Kunihiko Minamihata, Hisao Fukuoka, Tadanori Mizuno.
• Mechanicak verification of a Nin-Blocking Atomic Commitment ProtocolDmitri Chkliaev, Peter van der Stok, Jozef Hooman.
• On the Use of DNS to Locate Nomadic Hosts on the InternetRamandeep Singh Khurana, Hesham El-Rewini, Imad Mahgoub.
• Media Synchronization Methods for Compressed Audio-Video StreamsKoji Hashimoto, Yoshitaka Shibata.
• Causal Message Logging Protocol Considering In-Transit MessagesKibom Kim, Jin Gon Shon, Soon Yong Jung, Chong-Sun Hwang.
• Fisheye State Routing in Mobile Ad Hoc NetworksGuangyu Pei, Mario Gerla, Tsu-Wei Chen.
• Specification and Formal Analysis of a PLAN Algorithm in MaudeBow-Yaw Wang, José Meseguer, Carl A. Gunter.
• Generating Association Rules for PrefetchingStephane Drapeau, Claudia Roncancio, Edgard Benitez Guerrero.
• Diagnosing Crosstalk Faults in a Class of Dilated Blocking Optical Multistage Interconnection NetworksI-Shyan Hwang, San-Nan Lee.
• A Java-Based Distributed System Framework for Real-Time DevelopmentJih-Ming Fu, Win-Bin See, Pao-Ann Hsiung, Jen-Ming Chao, Sao-Jie Chen.
• Communication-Induced Checkpointing Protocols with K-Bounded Domino-Effect FreedomChi-Yi Lin, Jichiang Tsai, Sy-Yen Kuo, Yennun Huang.
• Verifying Distributed Systems with Model Checking and Static AnalysisMaría-del-Mar Gallardo, Pedro Merino.
• A Reliable Multicast Protocol for Mobile NetworksChung-Jai Chang, Chunhung Richard Lin.
• MajorCAN: A Modification to the Controller Area Network Protocol to Achieve Atomic BroadcastJulian Proenza, José Miró-Julià.
• A Vertex Allocation Algorithm under Binary Tree ConfigurationKimihiro Yamamoto, Shozo Naito.
• An Anonymous Electronic Voting Protocol with the Latest Decision on Voters IntentionsChun-I Fan, Wei-Kuei Chen.
• Enabling Flexible QoS Support in the Object Request Broker COOLTom Kristensen, Thomas Plagemann.
• Disseminating Query Results in Wireless SystemsSan-Yih Hwang, Jeng-Kuen Chiu.
• A Link Availability Prediction Model for Wireless Ad Hoc NetworksDajiang He, Shengming Jiang, Jianqiang Rao.
• Games-Based Model Checking of Protocols: counting doesn t countTim Kempster, Colin Stirling, Peter Thanisch.
• A Per-Process Approach for CORBA EnvironmentsZahir Tari, Qitang Lin, Herry Hamidjaja.
• NMSPA: A Non-Markovian Model for Stochastic ProcessesNatalia López, Manuel Núñez.
• A Randomization Enhanced Scheme for Chaum s Blind SignatureChun-I Fan, Wei-Kuei Chen, Yi-Shiung Yeh.
• Inferring Sub-Culture Hierarchies Based on Object Diffusion on the World Wide WebTa-gang Chiou, Judith S. Donath.
• Formal Methods for Message Sequence ChartsDoron Peled.
• A Query Language for Mobile Information SystemsYa-Hui Chang.
• WEC: A CORBA Workflow Event Channel for Dynamic Workflow ManagementZahir Tari, Vivek Pande.
• A Fast Lexicographic Algorithm for Association Rule Mining in Web ApplicationsMing-Yen Lin, Suh-Yin Lee.
• Modelling and Simulation of Active Network ProtocolsGuillermo Rodriguez, Pedro Merino.
• Pseudo-Active Replication Protocol for Reliable Replica GroupNaokazu Nemoto, Hiroaki Higaki, Katsuya Tanaka, Makoto Takizawa.