ADSN 2003

Final Program

Call for Papers

Second International Workshop on Assurance in Distributed Systems and Networks (ADSN 2003)

Providence, Rhode Island, USA
May 19, 2003

Sponsored by the IEEE Computer Society Technical Committee on Distributed Processing. In cooperation with IEICE Technical Committee on Information Networks and IEICE Technical Committee on Dependable Computing (Approval Pending).

This workshop will be held in conjunction with the 23rd International Conference on Distributed Computing Systems (ICDCS 2003)(see for detail http://www.cse.msu.edu/icdcs/).

The objective of this Workshop is to provide an effective forum for original scientific and engineering advances in Assurance in Distributed Systems and Networks. Along with recent rapid growth of the Internet, autonomous decentralized systems are connected with each other. In these systems, heterogeneous requirements are independently generated and the requirements themselves are frequently changing. Assurance in these systems is defined as capability of adaptability to heterogeneous and changing requirements. The workshop is of interest in the sense that requirements for assurance in distributed systems and networks are increasing in the future Internet and technologies on assurance including integration of various technologies on real time, fault tolerance, autonomy, mobility and intelligence have high possibilities to cope with complex distributed systems and networks.

Topics of interest for this workshop include, but are not limited to:

Heterogeneous coexistence techniques.
Techniques for achieving high dependability in complex systems.
System life-cycle, specification, design, implementation, verification, and validation techniques of assurance.
System management techniques for assurance.
Real-time technology for assurance systems.
Software and hardware technologies (E-commerce, Intelligent transport system, Train control, Space computer) for assurance.
Self-stabilization and sensor networks.
Agents technologies for assurance.
Security issues for information warfare.
Network control (QoS, CoS, etc) technologies for assurance.

Papers and Submissions

Papers must be written in English, and they have to be in Postscript, PDF, or Word format. The complete manuscript should be no more than 12 pages of double-spaced text with 11pt fonts. The following information must be provided on a cover sheet:

  (1) paper title, full name, affiliation of complete address of the
      author,
  (2) phone and fax numbers, and email address of the author to be
      contacted, as well as
  (3) an abstract (up to a 150 words).

To submit a research paper, please send an electronic version of the manuscript to the appropriate program co-chair by e-mail.

Authors are expected to present their paper at the Workshop.

Important Dates

Paper submission deadline:   November 22, 2002
Notification of acceptance:  January 10, 2003
Camera-ready papers due:     February 14, 2003

General Chair

Kinji Mori, Tokyo Institute of Technology, Japan

Vice Chair

Yoshiaki Kakuda, Hiroshima City University, Japan

Program Co-Chairs

Hidenori Nakazato, Waseda University, Japan
(Chair for Asia and Oceania)
E-mail: nakazato@giti.waseda.ac.jp

Dimitrios N. Serpanos, University of Patras, Greece
(Chair for Europe and Africa)
E-mail: serpanos@ee.upatras.gr

Anish Arora, Ohio-State University, USA
(Chair for Americas)
E-mail: anish@cis.ohio-state.edu

Program Committee

Masaki Aida, NTT, Japan
Bharat Bhargava, Purdue University, USA
Satoshi Fukumoto, Tokyo Metropolitan University, Japan
Ran Giladi, Ben-Gurion Univ., Israel
Choong Seon Hong, Kyung Hee University, Korea
Hiroki Horiuchi, KDDI R&D Labs., Japan
Takashige Hoshiai, NTT, Japan
Chih-wen Hsueh, National Chung Cheng University, Taiwan
Kenji Ishida, Hiroshima City University, Japan
Tetsuo Kinoshita, Tohoku University, Japan
Stavros Koubias, Dept. of ECE, Univ. of Patras, Greece
Sandeep Kulkarni, Michigan State University, USA
Yukikazu Nakmaoto, NEC, Japan
Panagiotis Nastou, Atmel Hellas, Greece
Mikhail Nesterenko, Kent State University, USA
Peter Neumann, Institute for Automation and Communication Magdeburg,
Germany
Joseph Kee-Yin Ng, Hong Kong Baptist University, Hong Kong
Mukesh Singhal, University of Kentucky, USA
Burkhard Stiller, Univ. of Federal Armed Forces, Munich, Germany
    and Swiss Federal Institute of Technology Zurich, Switzerland
Heinrich Stuettgen, NEC, Germany
Eduardo Tovar, Polytechnic Institute of Porto, Portugal
Yasushi Wakahara, University of Tokyo, Japan
Shyhtsun Felix Wu, University of California at Davis, USA
Dong Xuan, Ohio state University, USA