We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
This paper outlines the theoretical concept of a study currently under way in China. Its main idea is to explore the sustainability of centralized inter-organizational systems for...
Abstract. At ACISP 2000, Yoo et al proposed a fast public key cryptosystem using matrices over a ring. The authors claim that the security of their system is based on the RSA probl...
In this paper, several problems in associating hyperlinks to text and the diverse possibilities to overcome these problems are discussed. At the current stage, an important aspect ...
Ernst Georg Haffner, Andreas Heuer 0002, Uwe Roth,...
Alzheimer's disease makes great demands on care by caregivers, since they cannot distract their attention from patients while they are managing records at the same time. For t...