Akishi Seo

Learn More
• F In this paper, we report on an ongoing project to develop search engines for software components hosted by object request brokers (ORBs). Behavioral specification based on hidden algebra is used to allow search by functionalities rather than syntactic features. An algebraic specification language system CafeOBJ is used to support automation such as(More)
In this paper, we propose a learning support framework for adult graduate students of information science. It allows adult graduate students under time pressure to learn effectively. The course recommendation system that is a part of the framework presents an appropriate course for a student. The framework also provides a method to pursue the cause of(More)
We have developed a set of hardware and software components to realize ubiquitous computing environments, based on two keywords, simple" (easy to implement) and "open"(adopt widely publicized specifications). Then this set has been resulted into UBKit (Ubiquity Building Toolkit). The Micro-Server an instance of UBKitenables existing consumer electronics to(More)
  • 1