Third International Workshop on Assurance in Distributed Systems and Networks (ADSN 2004)

Tuesday, March 23

Opening
9:20 - 9:30
General Chair: Kinji Mori, Tokyo Institute of Technology, Japan
Program Chair: Hidenori Nakazato, Waseda University, Japan
Vice Program Chairs: Masaki Aida, NTT, Japan
Celestin Koffi Brou, Fraunhofer Fokus, Germany
Sandeep Kulkarni, Michigan State University, USA
Session 1
Mobile and Ad Hoc
9:30 - 11:00
Performance Study of Node Placement in Sensor Networks
M. Ishizuka and M. Aida
TDMA Service for Sensor Networks
S. S. Kulkarni and M. (U.) Arumugam
An Adaptive Automobile Control System Using Scheduling by Imprecise Computation and Multiagent-based Traffic Information Exchange and Its Experimental Evaluation
T. Oka, S. Inoue, and Y. Kakuda
11:00 - 11:30Coffee Break
Session 2
System Security
11:30 - 13:00
An Effective Active Attack on Fiat-Shamir Cryptosystems
A. G. Voyiatzis and D. N. Serpanos
Deductive Verification of Probabilistic Real-Time Systems
S. Yamane
Finding a Recovery Line in Uncoordinated Checkpointing
M. Ohara, M. Arai, S. Fukumoto, and K. Iwasaki
13:00 - 14:00Lunch
Session 3
Networking
14:00 - 15:00
Heterogeneous Building Automation and IP Networks Management
R. Giladi
Diffusion-Type Autonomous Decentralized Flow Control for Open Networks
C. Takano and M. Aida
Improvements on Block Size Control Method for Adaptive Parallel Downloading
J. Funasaka, K. Nagayasu, and K. Ishida
15:00 - 15:30Coffee Break
Session 4
Information Distribution
15:30 - 17:30
Agent-Based Rating Oriented Information Provision and Reallocation for High-Assurance in Open and Dynamic Environments
X. Lu, Y. Zhou, K. Mori, R. Takanuki and Y. Kuba
Autonomous Distributed Service System Implementation
K. Iqbal, H. F. Ahmad, A. Ali, H. Suguri, and M. Jamshed
Autonomous and Proactive Adjustment of Update Allowance in Autonomous Decentralized Database System
I. Kaji
Closing
17:30 - 17:40
Vice Chair: Yoshiaki Kakuda, Hiroshima City University, Japan