In the equivalent transformation (ET) computation model, a specification provides
background knowledge in a problem domain and defines a set of queries of interest. A …

In the equivalent transformation (ET) computation model, a specification provides
background knowledge in a problem domain, a program is a set of prioritized rewriting rules …

The Web extends today's modelbases—an important DSS component—by enabling their
sharing and reusing over the information network. A modelbase with a formal, precise, and …

Due to an increasing popularity of employing XML documents in various application
domains, there arises a demand for an efficient XML document database management …

This paper proposes and develops a conceptual model for the rigorous representation,
design, and utilization of e-books using RDF (Resource Description Framework) as the …

All students (about 1000) at Sapporo Gakuin University are required to take a Computer
Literacy course. At Hokkaido University, we teach courses, such as AI Programming, with …

Modelbases and databases are complementary to each other in Decision Support Systems.
Hence, there exists a need for a framework to uniformly represent modelbases and …

The development of complex cyber-physical systems such as aeroderivative gas turbines
(AGT) frequently involves running variety of multi-disciplinary design and analysis tools …

A recent trend in network systems is the advanced technology to dynamically handle
changes in the system. An important basis relies on the integration of capability and status …

When solving problems efficiently by Hardware-Software cooperation, a lot of extra work
such as circuit design, software design, Hardware/Software interface design, etc, has to be …