ˇˇ
12 Short Papers
Mail sent to: hcc@mail.ndhu.edu.tw
Paper ID: 1
Paper title:
FPGA Authentication Header (AH) Implementation for Internet
Appliances
Authors: Chang-Chun Cheng, Wei-Ming Chen, Han-Chieh
Chao
Paper type: Regular Papers
Accept/Reject: A
Mail sent to: cswklin@comp.polyu.edu.hk
Paper ID: 3
Paper
title: A Novel R^2-FLC Dynamic Buffer Size Tuner to Support Time-Critical
Applications over the Internet by Improving Logical Channel Fault Tolerance to
Shorten Roundtrip Time
Authors: Wilfred W.K. Lin, Allan K.Y. Wong,
Tharam S. Dillon
Paper type: Regular Papers
Accept/Reject:
A
Mail sent to: buckl@in.tum.de
Paper ID: 15
Paper title:
The Zerberus Language: Describing the Formal Model of Dependable Real-Time
Systems
Authors: Christian Buckl, Alois Knoll, Gerhard
Schrott
Paper type: Regular Papers
Accept/Reject: A
Mail sent to: michel.raynal@irisa.fr
Paper ID: 50
Paper
title: A Note on a Simple Equivalence between Round-based
Synchronous
Authors: Michel Raynal, Matthieu Roy
Paper type:
Regular Papers
Accept/Reject: A
Mail sent to: namba@ieee.org
Paper ID: 53
Paper title:
Design of Defect Tolerant Wallace Multiplier
Authors: Kazuteru
NAMBA, Hideo ITO
Paper type: Regular Papers
Accept/Reject:
A
Mail sent to: wang_lunwei@sina.com
Paper ID: 56
Paper title:
Research on Control Flags based Weighted Authentication Trustworthiness
Model
Authors: Wang Lunwei, He Lianyue, Liao Xiangke, Wang Huaimin
Paper type: Regular Papers
Accept/Reject: A
Mail sent to: theel@informatik.uni-oldenburg.de
Paper ID:
94
Paper title: Towards Push-of-a-Button Stability Verification for
Discrete-time Hybrid Systems
Authors: Henning Burchardt, Jens
Oehlerking, Oliver Theel
Paper type: Regular
Papers
Accept/Reject: A
Mail sent to: pjsousa@di.fc.ul.pt
Paper ID: 101
Paper title:
Resilient State Machine Replication
Authors: Paulo Sousa, Nuno
Ferreia Neves, Paulo Veríssimo
Paper type: Regular
Papers
Accept/Reject: A
Mail sent to: yslhappy@dgu.edu
Paper ID: 104
Paper title:
Table-Driven Code Optimizer
Authors: Sung-Lim Yun, Yun-Sik Son,
Se-Man Oh
Paper type: Regular Papers
Accept/Reject:
A
Mail sent to: qz88@263.net
Paper ID: 105
Paper title:
Neural Network based on Dynamic Tunneling Technique for Weather
Forecast
Authors: Zheng Qin, Xiaofeng Liao, Jinmin Yang
Paper
type: Regular Papers
Accept/Reject: A
Mail sent to: salmani@mehr.sharif.edu
Paper ID: 111
Paper
title: Contribution of Controller Area Networks Controllers to Masquerade
Failures
Authors: Hassan Salmani, Seyed-Ghassem Miremadi
Paper
type: Regular Papers
Accept/Reject: A
Mail sent to: min@ict.ac.cn
Paper ID: 112
Paper title:
Improving Schemes of Index-Based Checkpointing
Authors: Yuan-sheng
Luo, Yinghua Min, Dafang Zhang
Paper type: Regular
Papers
Accept/Reject: A
ˇˇ
ˇˇ