20th ICDCS 2000: Taipei, Taiwan - Workshops

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

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

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

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

a service of Schloss Dagstuhl - Leibniz Center for Informatics