Toshihiko Ando

LiNS: A Library Navigation System Using Sensors and Smartphones

This paper presents a library navigation system named LiNS, using a combination of Web, sensor and smart phone technologies. In addition to the function of an ordinary book search system, LiNS provides a library user with the function of finding the route from the current location point in the library to the point where the object the user needs is located. Furthermore, it offers the “See Also” function by which the user can get related and recommended information that may develop a user’s new interest.

On a Concurrency Calculus for Design of Mobile Telecommunication Systems

Process algebras with name passing can be suitable to describe dynamical changes of connections. To describe mobile communication, however, it is necessary to consider locations at which processes run. We propose a description method to design such systems using a concurrency calculus in this paper. The concept of a field is introduced to model locality. An extension of π-calculus with a field is proposed. A field is given when behaviors of a target system is verified for a particular environment. The aim of the extension is to verify and to test connectivity between processes under various geographical constraints. This method could be design-oriented in this context. Equivalence relations with/without location in this calculus are also discussed.

Maintenance of mobile system ambients using a process calculus

Abstract We propose a formal method to maintain mobile systems placed on dynamically changing environments in this paper. Recently about 200 million people use mobile phones and mobile terminals, and mobile systems have been very popular. Remarkable features of mobile systems like mobile telephone systems and intelligent transport systems (ITSs) are dynamical linking and effects of environments to behavior of systems. To formally specify these systems, π -calculus is extended using the notion of a field, which is a formalization of constraints on communication among processes. Our goal is to find recovering damaged environments for preservation of connectivity among processes using this extension even if accidents occur.

Maintenance of ambiences for mobile systems

We propose a formal method to maintain mobile systems placed on fluidal ambiences using a process calculus in this paper. Behavior of physically movable entities of mobile systems, e.g. mobile telephone systems and intelligent transport systems (ITSs), may be affected by their surrounding. We have focused on effects of ambiences to behavior of mobile systems and have introduced the notion of a field into a concurrent calculus /spl pi/F, an extension of /spl pi/-calculus, formalizes processes constrained by ambiences. Based on /spl pi/F, our maintenance method indicates us how an ambience should be recovered when it is damaged.