Etsuya Shibayama

Learn More
An object-oriented computation model is presented which is designed for modelling and describing a wide variety of concurrent systems. In this model, three types of message passing are incorporated. An overview of a programming language called ABCL/1, whose semantics faithfully reflects this computation model, is also presented. Using ABCL/1, a simple(More)
We are developing a secure and certified e-mail system AnZen-Mail that provides an experimental testbed for our cutting-edge security enhancement technologies. In addition to a provably secure message transfer protocol, we have designed and implemented a server (MTU) and a client (MUA) in order that they could survive recent malicious attacks such as(More)
Multi-focus distortion-oriented views are useful in viewinglarge information on a small screen, but still have problems inmanaging multiple foci during editing. The user may have tonavigate information space by focusing and defocusing multipleparts to obtain multi-focus layouts that change according tovarious editing situations. As a result, it becomes(More)
We present the migratory cursor, which is an interactive interface that enables users to move a cursor to any desired position quickly and accurately using voice alone. The migratory cursor combines discrete specification that allows a user to specify a location quickly, but approximately, with continuous specification that allows the user to specify a(More)
This paper proposes a technique for generating more comprehensible animations from discussions, which are often hard to follow, in USENET. This technique consists of two steps. In the first step, our prototype system generates a scenario from articles in a news thread using the quote relationship. In the second step, it generates an animation based on the(More)
We present a scalable visualization technique for automatic animation of data-flow visual program execution. We also show a framework to assist programmers' browsing tasks by automatically producing the views of execution that highlight significant aspects of the program. The techniques described in this paper are based on the visual design patterns (VDPs)(More)
We develop an interactive Braille-recognition system using a portable camera for visually impaired persons who cannot read Braille. Our system helps them to find and then push a desired button, as is necessary when using an elevator or a ticket vending machine, for example. It is natural to think that the information provided, in Braille, with specific(More)