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)
We investigated the distribution of the high-affinity neurotrophin receptors TrkA, TrkB, and TrkC in a wide range of normal non-neuronal tissues of adult human by immunohistochemical methods. Trk immunoreactivity (IR) was detected at various levels in all tissues examined, except for the heart and liver. The gastric parietal cells showed strong TrkA and(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)
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)
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)
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme is not applicable, as the process being model checked would replay I/O operations when re-visiting a given state. Thus software model checking needs to encapsulate such operations(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)