default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th ICDCS 2000: Taipei, Taiwan - Workshops
- Ten-Hwang Lai:
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC. 2000
International Workshop on Internet 2000
Session A1: Internet Security
- Chun-I Fan, Wei-Kuei Chen, Yi-Shiung Yeh:
A Randomization Enhanced Scheme for Chaum's Blind Signature. ICDCS Workshop on Internet 2000: A5-A8 - Chun-I Fan, Wei-Kuei Chen:
An Anonymous Electronic Voting Protocol with the Latest Decision on Voters' Intentions. ICDCS Workshop on Internet 2000: A9-A12 - Paulo Simões, Pedro Alves, José Rogado, Paulo Ferreira:
An Authentication Protocol for Mobilde Devices. ICDCS Workshop on Internet 2000: A13-A17
Session A2: Evaluation and Analysis
- Hongxue Wang, Vijay Varadharajan, Yan Zhang:
Towards a Generic Logic for Analysing Network Protocols. ICDCS Workshop on Internet 2000: A19-A26 - Kimihiro Yamamoto, Shozo Naito:
A Vertex Allocation Algorithm under Binary Tree Configuration. ICDCS Workshop on Internet 2000: A27-A32 - Shih-Wei Chou:
Integration of Technology and Management - An Empirical Research for Computer Network Course in Information Management Department from Taiwan. ICDCS Workshop on Internet 2000: A33-A41
Session A3: Modelling and Enhancement of Protocols
- Guillermo Rodríguez, Pedro Merino:
Modelling and Simulation of Active Network Protocols. ICDCS Workshop on Internet 2000: A43-A50 - Zahir Tari, Vivek Pande:
WEC: A CORBA Workflow Event Channel for Dynamic Workflow Management. ICDCS Workshop on Internet 2000: A51-A58 - Zahir Tari, Qitang Lin, Herry Hamidjaja:
A Per-Process Approach for CORBA Environments. ICDCS Workshop on Internet 2000: A59-A67
Session A4: Large Scale Network and its Application
- Sheng-Tun Li, Tan-Sheng Li, Shih-Wei Chou:
JTViewer: A Java JMF-based Viewer for Real-Time TV-like Streams. ICDCS Workshop on Internet 2000: A69-A75 - Toshihiko Shimokawa, Norihiko Yoshida, Kazuo Ushijima:
Flexible Server Selection using DNS. ICDCS Workshop on Internet 2000: A76-A81 - Shu Zhang, Suguru Yamaguchi, Heiichi Yamamoto:
A Method for Reducing Network Routing Instability. ICDCS Workshop on Internet 2000: A82-A87 - Akira Kanamura, Kohei Ohta, Nei Kato, Glenn Mansfield, Yoshiaki Nemoto:
Evaluation of Simple Packet Aggregation Technique for Fault Detection. ICDCS Workshop on Internet 2000: A88-A94
International Workshop on Distributed Real-Time Systems
Session B1: Protocol and Analysis
- Chi-Yi Lin, Jichiang Tsai, Sy-Yen Kuo, Yennun Huang:
Communication-Induced Checkpointing Protocols with K-Bounded Domino-Effect Freedom. ICDCS Workshop on Distributed Real-Time Systems 2000: B7-B13 - Taewoong Kim, Junghoon Lee, Heonshik Shin, Naehyuck Chang:
Best Case Response Time Analysis for Improved Schedulability Analysis of Distributed Real-Time Tasks. ICDCS Workshop on Distributed Real-Time Systems 2000: B14-B20 - Kibom Kim, Jin Gon Shon, Soon Yong Jung, Chong-Sun Hwang:
Causal Message Logging Protocol Considering In-Transit Messages. ICDCS Workshop on Distributed Real-Time Systems 2000: B21-B28
Session B2: Systems
- Jih-Ming Fu, Win-Bin See, Pao-Ann Hsiung, Jen-Ming Chao, Sao-Jie Chen:
A Java-Based Distributed System Framework for Real-Time Development. ICDCS Workshop on Distributed Real-Time Systems 2000: B31-B36 - Minhee Cho, Geunhwi Lim, Seong Bae Eun, Hyunsoo Yoon:
Handling Camera Anchors in Distributed Surveillance Systems. ICDCS Workshop on Distributed Real-Time Systems 2000: B37-B44 - Tom Kristensen, Thomas Plagemann:
Enabling Flexible QoS Support in the Object Request Broker COOL. ICDCS Workshop on Distributed Real-Time Systems 2000: B45-B54
Session B3: Algorithm
- Jong-Min Lee, Seung Ryoul Maeng, Hyunsoo Yoon, Minhee Cho, Boseob Kwon, Jin-Soo Kim, Myung-Kyun Kim:
Movement-based Location Tracking with Extended Spatial Localities. ICDCS Workshop on Distributed Real-Time Systems 2000: B57-B62 - Manhee Jo, Yoshihiko Ebihara:
A Study on Delayed Packet Discard Schemes. ICDCS Workshop on Distributed Real-Time Systems 2000: B63-B70 - Chris C. H. Ngan, Kam-yiu Lam, Edward Chan:
Adaptive Real-Time Monitoring Mechanism for Replicated Distributed Video Player Systems. ICDCS Workshop on Distributed Real-Time Systems 2000: B71-B77
International Workshop on Group Communications and Computations
Session C1: Group Protocols
- Youhei Timura, Katsuya Tanaka, Makoto Takizawa:
Group Communication Protocol in Object-Based Systems. ICDCS Workshop on Group Communications and Computations 2000: C7-C14 - Zhaoyu Liu, Roy H. Campbell, Sudha K. Varadarjan, Prasad Naldurg, Seung Yi, M. Dennis Mickunas:
Flexible Secure Multicasting in Active Networks. ICDCS Workshop on Group Communications and Computations 2000: C15-C22 - Fumiaki Sato, Kunihiko Minamihata, Hisao Fukuoka, Tadanori Mizuno:
A Reliable Multicast Protocol with Total Ordering for Distributed Virtual Environment. ICDCS Workshop on Group Communications and Computations 2000: C23-C31
Session C2: Multimedia Communications
- Kenichi Shimamura, Katsuya Tanaka, Makoto Takizawa:
Group Protocol for Exchanging Multimedia Objects in a Group. ICDCS Workshop on Group Communications and Computations 2000: C33-C40 - Koji Hashimoto, Yoshitaka Shibata:
Media Synchronization Methods for Compressed Audio-Video Streams. ICDCS Workshop on Group Communications and Computations 2000: C41-C47 - Naokazu Nemoto, Hiroaki Higaki, Katsuya Tanaka, Makoto Takizawa:
Pseudo-Active Replication Protocol for Reliable Replica Group. ICDCS Workshop on Group Communications and Computations 2000: C48-C55
Session C3: Multicasting
- Christian Maihöfer:
Improving Multicast ACK Tree Construction with the Token Repository Service. ICDCS Workshop on Group Communications and Computations 2000: C57-C64 - Ho-lun T. Wong, Kwan Lawrence Yeung:
Packet Caching Policy Design in Active Reliable Multicast. ICDCS Workshop on Group Communications and Computations 2000: C65-C71 - Julián Proenza, José Miró-Julià:
MajorCAN: A Modification to the Controller Area Network Protocol to Achieve Atomic Broadcast. ICDCS Workshop on Group Communications and Computations 2000: C72-C79
International Workshop on Wireless Networks and Mobile Computing
Session D1: Mobility Management and Modeling
- Dajiang He, Shengming Jiang, Jianqiang Rao:
A Link Availability Prediction Model for Wireless Ad Hoc Networks. ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D7-D11 - Daichi Furusaka, Takeshi Iwamoto, Tomohiro Nagata, Hideyuki Tokuda:
Load-Sensitive Handover Scheme over Wireless Local Area Networks. ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D12-D19 - Ramandeep Singh Khurana, Hesham El-Rewini, Imad Mahgoub:
On the Use of DNS to Locate Nomadic Hosts on the Internet. ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D20-D27
Session D2: Reliable and Secure Mobile Communication
- Chung-Jai Chang, Chunhung Richard Lin:
A Reliable Multicast Protocol for Mobile Networks. ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D29-D35 - Markus Endler, Dilma Da Silva, Kunio Okuda:
RDP: A Result Delivery Protocol for Mobile Computing. ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D36-D43 - Zhaoyu Liu, M. Dennis Mickunas, Roy H. Campbell:
Secure Information Flow in Mobile Bootstrapping Process. ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D44-D52
Session D3: Mobile Information Access
- San-Yih Hwang, Jeng-Kuen Chiu:
Disseminating Query Results in Wireless Systems. ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D55-D62 - Ya-Hui Chang:
A Query Language for Mobile Information Systems. ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D63-D70 - Guangyu Pei, Mario Gerla, Tsu-Wei Chen:
Fisheye State Routing in Mobile Ad Hoc Networks. ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D71-D78
Session D4: Wireless Multimedia
- Jianqiang Rao, Shengming Jiang, Dajiang He:
A Real-Time Medium Access Control Protocol for Wireless Local Area Network. ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D81-D86 - Michael Wallbaum, Hendrik Decker:
Enabling Quality-of-Service Management for Voice/Data-Integrated Mobile Communication. ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D87-D93
International Workshop on Distributed System Validation and Verification
Invited Talk
- Doron A. Peled:
Formal Methods for Message Sequence Charts. ICDCS Workshop on Distributed System Validation and Verification 2000: E7-E13
Session E1: Validation and Verification Tools
- Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL. ICDCS Workshop on Distributed System Validation and Verification 2000: E15-E22 - Jean-Paul Bodeveix, Mamoun Filali:
Experimenting Acceleration Methods for the Validation of Infinite State Systems. ICDCS Workshop on Distributed System Validation and Verification 2000: E23-E30
Session E3: Formal Methods
- Natalia López, Manuel Núñez:
NMSPA: A Non-Markovian Model for Stochastic Processes. ICDCS Workshop on Distributed System Validation and Verification 2000: E33-E40 - Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo:
A Denotational Model for Probabilistic and Nondeterministic Processes. ICDCS Workshop on Distributed System Validation and Verification 2000: E41-E48 - Bow-Yaw Wang, José Meseguer, Carl A. Gunter:
Specification and Formal Analysis of a PLAN Algorithm in Maude. ICDCS Workshop on Distributed System Validation and Verification 2000: E49-E56
Session E3: Testing
- In Sang Chung, Byeong Man Kim, Hyeon Soo Kim:
A New Approach to Deterministic Execution Testing for Concurrent Programs. ICDCS Workshop on Distributed System Validation and Verification 2000: E59-E66 - Lénaick Tanguy, César Viho, Claude Jard:
Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. ICDCS Workshop on Distributed System Validation and Verification 2000: E67-E74 - Marc Born, Ina Schieferdecker, Mang Li:
Test Framework for Component-Based Systems. ICDCS Workshop on Distributed System Validation and Verification 2000: E75-E78 - I-Shyan Hwang, San-Nan Lee:
Diagnosing Crosstalk Faults in a Class of Dilated Blocking Optical Multistage Interconnection Networks. ICDCS Workshop on Distributed System Validation and Verification 2000: E79-E85
Session E4: Model Checking
- María-del-Mar Gallardo, Pedro Merino:
Verifying Distributed Systems with Model Checking and Static Analysis. ICDCS Workshop on Distributed System Validation and Verification 2000: E87-E90 - Wen Chien Liu, Chyan-Goei Chung:
Path-based Model Checking. ICDCS Workshop on Distributed System Validation and Verification 2000: E91-E94
Session E5: Protocol Verification
- Dmitri Chkliaev, Peter van der Stok, Jozef Hooman:
Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol. ICDCS Workshop on Distributed System Validation and Verification 2000: E96-E103 - David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff W. Hamilton:
Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification 2000: E104-E110 - Tim Kempster, Colin Stirling, Peter Thanisch:
Games-Based Model Checking of Protocols: counting doesn't count. ICDCS Workshop on Distributed System Validation and Verification 2000: E111-E117 - Sari Leppänen, Matti Luukkainen:
Compositional Verification of a Third Generation Mobile Communication Protocol. ICDCS Workshop on Distributed System Validation and Verification 2000: E118-E125 - Ping-Wen Chen, Yasuro Kawata, Hossam I. Gharib, Shi-Kuo Chang:
An Approach for the Design and Simulation of Information Retrieval Protocols. ICDCS Workshop on Distributed System Validation and Verification 2000: E126-E132
International Workshop of Knowledge Discovery and Data Mining in the World-Wide Web
Session F1: Association Rules
- Ming-Yen Lin, Suh-Yin Lee:
A Fast Lexicographic Algorithm for Association Rule Mining in Web Applications. ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web 2000: F7-F14 - Stéphane Drapeau, Claudia Roncancio, Edgard Benítez-Guerrero:
Generating Association Rules for Prefetching. ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web 2000: F15-F22 - Kohei Maruyama, Kuniaki Uehara:
Mining Association Rules from Semi-Structured Data. ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web 2000: F23-F30
Session F2: Mining Large Archives
- Ta-gang Chiou, Judith S. Donath:
Inferring Sub-Culture Hierarchies Based on Object Diffusion on the World Wide Web. ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web 2000: F33-F37 - Chung-Sheng Li, Yuan-Chi Chang, Lawrence D. Bergman, John R. Smith:
Model-Based Multi-Modal Information Retrieval from Large Archives. ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web 2000: F38-F44
Session F3: Classification and Clustering
- Wang-Chien Lee, Gail Mitchell, Xin Zhang:
Integrating XML Data with Relational Databases. ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web 2000: F47-F53 - Yiling Yang, Xudong Guan, Jinyuan You:
Enhanced Algorithm for Mining Frequently Visited Page Groups. ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web 2000: F54-F57 - Sheng-Tun Li:
Web Mining for Discovering Spatio-Temporal Patterns. ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web 2000: F58-F64
Session F4: Web Applications
- Charu C. Aggarwal, Joel L. Wolf, Kun-Lung Wu, Philip S. Yu:
The Intelligent Recommendation Analyzer. ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web 2000: F67-F72 - Nils P. Sudmann, Dag Johansen:
Adding Mobility to Non-Mobile Web Robots. ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web 2000: F73-F79
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
