The SCEAS System
Navigation Menu

Conferences in DBLP

International Conference on Distributed Computing Systems (ICDCS) - Workshops (icdcsw)
2000 (conf/icdcsw/2000)

  1. Yiling Yang, Xudong Guan, Jinyuan You
    Enhanced Algorithm for Mining Frequently Visited Page Groups. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web, 2000, pp:0-0 [Conf]
  2. Guillermo Rodriguez, Pedro Merino
    Modelling and Simulation of Active Network Protocols. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  3. Julian Proenza, José Miró-Julià
    MajorCAN: A Modification to the Controller Area Network Protocol to Achieve Atomic Broadcast. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Group Communications and Computations, 2000, pp:0-0 [Conf]
  4. Doron Peled
    Formal Methods for Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  5. Guangyu Pei, Mario Gerla, Tsu-Wei Chen
    Fisheye State Routing in Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Wireless Networks and Mobile Computing, 2000, pp:0-0 [Conf]
  6. Chris C. H. Ngan, Kam-yiu Lam, Edward Chan
    Adaptive Real-Time Monitoring Mechanism for Replicated Distributed Video Player Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed Real-Time Systems, 2000, pp:0-0 [Conf]
  7. Naokazu Nemoto, Hiroaki Higaki, Katsuya Tanaka, Makoto Takizawa
    Pseudo-Active Replication Protocol for Reliable Replica Group. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Group Communications and Computations, 2000, pp:0-0 [Conf]
  8. Kohei Maruyama, Kuniaki Uehara
    Mining Association Rules from Semi-Structured Data. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web, 2000, pp:0-0 [Conf]
  9. Christian Maihöfer
    Improving Multicast ACK Tree Construction with the Token Repository Service. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Group Communications and Computations, 2000, pp:0-0 [Conf]
  10. Natalia López, Manuel Núñez
    NMSPA: A Non-Markovian Model for Stochastic Processes. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  11. Zhaoyu Liu, M. Dennis Mickunas, Roy H. Campbell
    Secure Information Flow in Mobile Bootstrapping Process. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Wireless Networks and Mobile Computing, 2000, pp:0-0 [Conf]
  12. Zhaoyu Liu, Roy H. Campbell, Sudha K. Varadarjan, Prasad Naldurg, Seung Yi, M. Dennis Mickunas
    Flexible Secure Multicasting in Active Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Group Communications and Computations, 2000, pp:0-0 [Conf]
  13. Wen Chien Liu, Chyan-Goei Chung
    Path-based Model Checking. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  14. Chi-Yi Lin, Jichiang Tsai, Sy-Yen Kuo, Yennun Huang
    Communication-Induced Checkpointing Protocols with K-Bounded Domino-Effect Freedom. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed Real-Time Systems, 2000, pp:0-0 [Conf]
  15. Ming-Yen Lin, Suh-Yin Lee
    A Fast Lexicographic Algorithm for Association Rule Mining in Web Applications. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web, 2000, pp:0-0 [Conf]
  16. Wang-Chien Lee, Gail Mitchell, Xin Zhang
    Integrating XML Data with Relational Databases. [Citation Graph (1, 0)][DBLP]
    ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web, 2000, pp:0-0 [Conf]
  17. Fumiaki Sato, Kunihiko Minamihata, Hisao Fukuoka, Tadanori Mizuno
    A Reliable Multicast Protocol with Total Ordering for Distributed Virtual Environment. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Group Communications and Computations, 2000, pp:0-0 [Conf]
  18. Kenichi Shimamura, Katsuya Tanaka, Makoto Takizawa
    Group Protocol for Exchanging Multimedia Objects in a Group. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Group Communications and Computations, 2000, pp:0-0 [Conf]
  19. Kimihiro Yamamoto, Shozo Naito
    A Vertex Allocation Algorithm under Binary Tree Configuration. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  20. 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. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed Real-Time Systems, 2000, pp:0-0 [Conf]
  21. Ho-lun T. Wong, Kwan Lawrence Yeung
    Packet Caching Policy Design in Active Reliable Multicast. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Group Communications and Computations, 2000, pp:0-0 [Conf]
  22. Hongxue Wang, Vijay Varadharajan, Yan Zhang
    Towards a Generic Logic for Analysing Network Protocols. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  23. Bow-Yaw Wang, José Meseguer, Carl A. Gunter
    Specification and Formal Analysis of a PLAN Algorithm in Maude. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  24. Michael Wallbaum, Hendrik Decker
    Enabling Quality-of-Service Management for Voice/Data-Integrated Mobile Communication. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Wireless Networks and Mobile Computing, 2000, pp:0-0 [Conf]
  25. Youhei Timura, Katsuya Tanaka, Makoto Takizawa
    Group Communication Protocol in Object-Based Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Group Communications and Computations, 2000, pp:0-0 [Conf]
  26. Zahir Tari, Vivek Pande
    WEC: A CORBA Workflow Event Channel for Dynamic Workflow Management. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  27. Zahir Tari, Qitang Lin, Herry Hamidjaja
    A Per-Process Approach for CORBA Environments. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  28. Lénaick Tanguy, César Viho, Claude Jard
    Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  29. Nils P. Sudmann, Dag Johansen
    Adding Mobility to Non-Mobile Web Robots. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web, 2000, pp:0-0 [Conf]
  30. David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff Hamilton
    Specifying and Verifying IP with Linear Logic. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  31. Paulo Simões, Pedro Alves, José Rogado, Paulo Ferreira
    An Authentication Protocol for Mobilde Devices. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  32. Zhang Shu, Suguru Yamaguchi, Heiichi Yamamoto
    A Method for Reducing Network Routing Instability. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  33. Toshihiko Shimokawa, Norihiko Yoshida, Kazuo Ushijima
    Flexible Server Selection using DNS. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  34. Sheng-Tun Li, Tan-Sheng Li, Shih-Wei Chou
    JTViewer: A Java JMF-based Viewer for Real-Time TV-like Streams. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  35. Chung-Sheng Li, Yuan-Chi Chang, Lawrence D. Bergman, John R. Smith
    Model-Based Multi-Modal Information Retrieval from Large Archives. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web, 2000, pp:0-0 [Conf]
  36. Sari Leppänen, Matti Luukkainen
    Compositional Verification of a Third Generation Mobile Communication Protocol. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  37. Koji Hashimoto, Yoshitaka Shibata
    Media Synchronization Methods for Compressed Audio-Video Streams. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Group Communications and Computations, 2000, pp:0-0 [Conf]
  38. He Dajiang, Jian Shengming, Rao Jianqiang
    A Link Availability Prediction Model for Wireless Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Wireless Networks and Mobile Computing, 2000, pp:0-0 [Conf]
  39. In Sang Chung, Byeong Man Kim, Hyeon Soo Kim
    A New Approach to Deterministic Execution Testing for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  40. Shih-Wei Chou
    Integration of Technology and Management - An Empirical Research for Computer Network Course in Information Management Department from Taiwan. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  41. Minhee Cho, Geunhwi Lim, Seong Bae Eun, Hyunsoo Yoon
    Handling Camera Anchors in Distributed Surveillance Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed Real-Time Systems, 2000, pp:0-0 [Conf]
  42. Dmitri Chkliaev, Peter van der Stok, Jozef Hooman
    Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  43. Ta-gang Chiou, Judith S. Donath
    Inferring Sub-Culture Hierarchies Based on Object Diffusion on the World Wide Web. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web, 2000, pp:0-0 [Conf]
  44. Sheng-Tun Li
    Web Mining for Discovering Spatio-Temporal Patterns. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web, 2000, pp:0-0 [Conf]
  45. Ping-Wen Chen, Yasuro Kawata, Hossam I. Gharib, Shi-Kuo Chang
    An Approach for the Design and Simulation of Information Retrieval Protocols. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  46. Chung-Jai Chang, Chunhung Richard Lin
    A Reliable Multicast Protocol for Mobile Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Wireless Networks and Mobile Computing, 2000, pp:0-0 [Conf]
  47. Ya-Hui Chang
    A Query Language for Mobile Information Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Wireless Networks and Mobile Computing, 2000, pp:0-0 [Conf]
  48. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
    A Denotational Model for Probabilistic and Nondeterministic Processes. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  49. Manhee Jo, Yoshihiko Ebihara
    A Study on Delayed Packet Discard Schemes. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed Real-Time Systems, 2000, pp:0-0 [Conf]
  50. Marc Born, Ina Schieferdecker, Mang Li
    Test Framework for Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  51. Jean-Paul Bodeveix, Mamoun Filali
    Experimenting Acceleration Methods for the Validation of Infinite State Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  52. Stephane Drapeau, Claudia Roncancio, Edgard Benitez Guerrero
    Generating Association Rules for Prefetching. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web, 2000, pp:0-0 [Conf]
  53. Markus Endler, Dilma Silva, Kunio Okuda
    RDP: A Result Delivery Protocol for Mobile Computing. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Wireless Networks and Mobile Computing, 2000, pp:0-0 [Conf]
  54. Tom Kristensen, Thomas Plagemann
    Enabling Flexible QoS Support in the Object Request Broker COOL. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed Real-Time Systems, 2000, pp:0-0 [Conf]
  55. Kibom Kim, Jin Gon Shon, Soon Yong Jung, Chong-Sun Hwang
    Causal Message Logging Protocol Considering In-Transit Messages. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed Real-Time Systems, 2000, pp:0-0 [Conf]
  56. Taewoong Kim, Junghoon Lee, Heonshik Shin, Naehyuck Chang
    Best Case Response Time Analysis for Improved Schedulability Analysis of Distributed Real-Time Tasks. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed Real-Time Systems, 2000, pp:0-0 [Conf]
  57. Ramandeep Singh Khurana, Hesham El-Rewini, Imad Mahgoub
    On the Use of DNS to Locate Nomadic Hosts on the Internet. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Wireless Networks and Mobile Computing, 2000, pp:0-0 [Conf]
  58. Tim Kempster, Colin Stirling, Peter Thanisch
    Games-Based Model Checking of Protocols: counting doesn't count. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  59. Akira Kanamura, Kohei Ohta, Nei Kato, Glenn Mansfield, Yoshiaki Nemoto
    Evaluation of Simple Packet Aggregation Technique for Fault Detection. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  60. Rao Jianqiang, Shengming Jiang, He Dajiang
    A Real-Time Medium Access Control Protocol for Wireless Local Area Network. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Wireless Networks and Mobile Computing, 2000, pp:0-0 [Conf]
  61. María-del-Mar Gallardo, Pedro Merino
    Verifying Distributed Systems with Model Checking and Static Analysis. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  62. Daichi Furusaka, Takeshi Iwamoto, Tomohiro Nagata, Hideyuki Tokuda
    Load-Sensitive Handover Scheme over Wireless Local Area Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Wireless Networks and Mobile Computing, 2000, pp:0-0 [Conf]
  63. I-Shyan Hwang, San-Nan Lee
    Diagnosing Crosstalk Faults in a Class of Dilated Blocking Optical Multistage Interconnection Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  64. 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. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed Real-Time Systems, 2000, pp:0-0 [Conf]
  65. San-Yih Hwang, Jeng-Kuen Chiu
    Disseminating Query Results in Wireless Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Wireless Networks and Mobile Computing, 2000, pp:0-0 [Conf]
  66. Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
    Guided Synthesis of Control Programs Using UPPAAL. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  67. Chun-I Fan, Wei-Kuei Chen, Yi-Shiung Yeh
    A Randomization Enhanced Scheme for Chaum's Blind Signature. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  68. Chun-I Fan, Wei-Kuei Chen
    An Anonymous Electronic Voting Protocol with the Latest Decision on Voters' Intentions. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Internet, 2000, pp:0-0 [Conf]
  69. Charu C. Aggarwal, Joel L. Wolf, Kun-Lung Wu, Philip S. Yu
    The Intelligent Recommendation Analyzer. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop of Knowledge Discovery and Data Mining in the World-Wide Web, 2000, pp:0-0 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002