20. ICDCS 2000:
Taipei,
Taiwan - Workshops
Ten-Hwang Lai (Ed.):
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC.
2000 BibTeX
@proceedings{DBLP:conf/icdcsw/2000,
editor = {Ten-Hwang Lai},
title = {Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei,
Taiwan, ROC},
booktitle = {ICDCS Workshops},
year = {2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
International Workshop on Internet 2000
Session A1:
Internet Security
Session A2:
Evaluation and Analysis
Session A3:
Modelling and Enhancement of Protocols
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.
A69-A75 BibTeX
- Toshihiko Shimokawa, Norihiko Yoshida, Kazuo Ushijima:
Flexible Server Selection using DNS.
A76-A81 BibTeX
- Zhang Shu, Suguru Yamaguchi, Heiichi Yamamoto:
A Method for Reducing Network Routing Instability.
A82-A87 BibTeX
- Akira Kanamura, Kohei Ohta, Nei Kato, Glenn Mansfield, Yoshiaki Nemoto:
Evaluation of Simple Packet Aggregation Technique for Fault Detection.
A88-A94 BibTeX
International Workshop on Distributed Real-Time Systems
Session B1:
Protocol and Analysis
Session B2:
Systems
Session B3:
Algorithm
International Workshop on Group Communications and Computations
Session C1:
Group Protocols
- Youhei Timura, Katsuya Tanaka, Makoto Takizawa:
Group Communication Protocol in Object-Based Systems.
C7-C14 BibTeX
- Zhaoyu Liu, Roy H. Campbell, Sudha K. Varadarjan, Prasad Naldurg, Seung Yi, M. Dennis Mickunas:
Flexible Secure Multicasting in Active Networks.
C15-C22 BibTeX
- Fumiaki Sato, Kunihiko Minamihata, Hisao Fukuoka, Tadanori Mizuno:
A Reliable Multicast Protocol with Total Ordering for Distributed Virtual Environment.
C23-C31 BibTeX
Session C2:
Multimedia Communications
Session C3:
Multicasting
International Workshop on Wireless Networks and Mobile Computing
Session D1:
Mobility Management and Modeling
Session D2:
Reliable and Secure Mobile Communication
Session D3:
Mobile Information Access
Session D4:
Wireless Multimedia
International Workshop on Distributed System Validation and Verification
Invited Talk
Session E1:
Validation and Verification Tools
Session E3:
Formal Methods
Session E3:
Testing
Session E4:
Model Checking
Session E5:
Protocol Verification
- Dmitri Chkliaev, Peter van der Stok, Jozef Hooman:
Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol.
E96-E103 BibTeX
- David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff Hamilton:
Specifying and Verifying IP with Linear Logic.
E104-E110 BibTeX
- Tim Kempster, Colin Stirling, Peter Thanisch:
Games-Based Model Checking of Protocols: counting doesn't count.
E111-E117 BibTeX
- Sari Leppänen, Matti Luukkainen:
Compositional Verification of a Third Generation Mobile Communication Protocol.
E118-E125 BibTeX
- Ping-Wen Chen, Yasuro Kawata, Hossam I. Gharib, Shi-Kuo Chang:
An Approach for the Design and Simulation of Information Retrieval Protocols.
E126-E132 BibTeX
International Workshop of Knowledge Discovery and Data Mining in the World-Wide Web
Session F1:
Association Rules
Session F2:
Mining Large Archives
Session F3:
Classification and Clustering
Session F4:
Web Applications
Copyright © Sat May 16 23:17:16 2009
by Michael Ley (ley@uni-trier.de)
