- Proposal and Experimental Evaluation of Time Allocation Procedure for Technical Reviews
- A verification of the OSI session protocol---A description of the invariant fomula related to subprotocols divided by the method of phase connection---
- auto-genarating auxiliary problems about mechanics
- Petri Net description of development processes based on the structured analysis/design technique
- Design and implementation of a library for visualized teaching materials.
- NP-completeness of the problem of computing a common st-numbering for two planar graphs
- Experimental Evaluation of Improved Software Development Process with Respect to Effort Allocation
- Generating a Road-Network from Map Data in Vector Representation
- A Procedure of Inductive Learning with Analogical Reasoning
- Tool of program slicing for COBOL Language
- The research in classifying auditory display in program visualization under how to use and utilizing them
- A Generator of visualized CPU simulators for educational use
- Improvement of the style compiler reports errors
- Design and Implementation of HyperText News Database for Information Retrieval System
- The way of getting a three dimension body's category model from classic parts description by the use of moment feature amounts and fitting to ellipsoid
- Shortest path problem with obstructor
- A tequnique for computing an approximate characteristic string
- Some problems in making an Object-Oriented Database of Protein Three Dimensional Structure Data
- A geometric complexity of a point set generated by a copy
- A Guide of Conformance Testing Method for Resister Operations on Extended Finite State Machine with respect to the Control Flow
- A query language for object-oriented databases based on feature structures
- Implementation of an equivalence checker for processes specified in an timed extension of LOTOS
- An improvement of implementation of Soft Decision Maximum Likelihood decoding simulator by using a structure of the trellis diagram of linear block code
- AGGREGATE-based Object-Oriented Programming - Introduce and Implement to C++ Language -
- Development of Experiment Environment Module in Science Education System
- Multiple string alignment using genetic algorithm
- Implementation of programs to automate the verification of sequential machine style program using algebraic methods
- An Research of the System to Teach for Strategic Knowledge in Proving Logical Formulas, Implementation of User-Interface and Estimation of the System
- Automatic Synthesis of Protocol Specifications from Service Specification with Parallely Excutable Multiple Primitives
- -CONSTRUCT of TRANSLATER- from parallel programming languages based on SIMD PRAM model to parallel programming languages based on Dataparallel model
- An experimental System Generating Test Sequence for Localization of Multiple Faults in Communication Protocols
- Visualization for the analysis of parallel programs on hypercube networks
- An integrated access to multi-databases
- Geometric-Shape-Concepts formation based on a Shape-known Object and Shape Analysis for unknown Objects.
- Trial production and evaluation of synthesis of protocol specifications from service specifications with messege collisions
- Debug Assistant System Using Program Slice
- A method of recognizing arm gesture from image sequence of human-motions.
- Programming Part Hierarchy in Object-Oriented Languages
- Performance Evaluation of Bandwidth Reservation Methods in ATM LAN
- Animation Engine : an Implementation of an Animation Server
- Effects of Self-Explanation with Cognitive Load in Learning and Its Application
- The Performance Analysis of VP bandwidth control scheme in ATM-based network
- Unification Problem for Term Rewritng Systems ---Restricted Substitution and syntactic unification
- Recognition of "Question-Answer" Pairs Focusing on the Presuppositions underlying Questions
- A design and implementation of the system which analyzes the musical structures based on "A Generative Theory of Tonal Music"
- Visualization of type checking
- A polynomial-time aligorithm for computing characteristic strings under a set of strings
- A Design of Multimedia Application Model for Environmental Adaptation
- Implementation of System to Execute Protocol Specifications in Distributed System
- An implementation of parallel processing simulation for evaluation of error performance linear block coded modulation
- About Some Properties of Union and Intersection of Two Permutation Graphs
- An Algorithm to Enumerate PQ-Tree
- Synthesis of Protocol Entities' Specifications from Service Specification of Distributed System in Petri Net with Resisters Model
- Making of A Graphic System based on Parametric & Stochastic L-systems
- A shortest path of points set
- LOTOS compiler using light-weight-process-system
- An Algorithm to Get The Maximum Independent Set of The spider graph
- An Optimal Scheduling Algorism in Distributed Simulation Environments

- Polynomial-Time Recognizable Subclasses of Lexical-Functional Grammars
- A Method for Computing the Weight Distribution of a Block Code by Using Its Trellis Diagram
- Computer support for Multi-objective optimization problem
- Scheduling Algorithms for Full Binary Tree Type Task Dependence Graph with Communication Delay between Processors
- A software testing process model for evaluating capability of testing in software engineers education
- A Research about View Mechanism on Object-Oriented Databases
- A Database System based on Abstract Syntax Notation One (ASN.1)
- Doubly Convex Graphs on Tree-ordered Sets and Bipartite Circle Graphs
- Term Rewriting Systems Specifying Order of Evaluation of Subterms, and its Termination and Confluence
- Operational semantics of Aggregate based Object-Oriented Programming(AOOP) and verification of the translator for AOOP
- Automatic Verification of Sequential Control Systems Using Temporal Logic
- Formulations of the Law of Demeter and the Complexity Measure in the Object Oriented Programming
- Automated Synthesis of Protocol Specifications with Message Collisions from Service Specifications
- Deriving System and Executing System for Protocol Specifications in Distributed System
- $pansy2$: A Visual Development Environment for Parallel Programs on SIMD Computer with Processor Networks
- A proposal of collaborative server system architecture and its prototype implementation on information access mechanism
- Gathering and Analysis of Network News Users' Information by Monitoring Technique
- A Qualitative navigation by spatial reasoning
- The analysis of an impasse in user's menu operation after transferring one software into another one under differences in menu structures
- Performance Evaluation of the Fast Data Transmission with Forward Error Correction under Multimedia Environment
- A programming environment with program visualization for parallel algorithms on shared memory computers
- On the reconstruction of the original string from a set of substrings
- Image segmentation method based on gray value and gradient values
- An Implementation of Portable Light Weight Process Mechanism under BSD UNIX
- Fault tolerant distributed algorithm for information dissemination
- Generation of Function model and Classification of Elemental functions
- A Communication Support Model with Cooperative Objects for Software Development
- An algorithm to decide concurrent firability for marked graphs
- A Self-Stabilizing Algorithm for Ring Orientation Problem Under C-daemon
- An Approach to formal description of Human-Computer Dialogue
- Development of Instruction System for Supporting Concept of Recursion Acquisition
- Developing and use of support system for lectures utilizing an e-mail facility
- Computer Environment for Dynamic Simulation
- Empirical evaluation of selecting items for user interface
- Common Planar Drawing of Two Graphs
- Design Verification of Abstract Sequential Machine using Algebraic Methods and its Verification Support System
- An extension of LOTOS for specifying time constraints among nonadjacent actions and verification of equivalence
- A problem transformation method generating parallel programs
- AGGREGATE-based Object-Oriented Programming and its Development Environment
- An Extension of Combinatory Categorial Grammar and Its Generative Capacity
- Generation of Signatures of Functions in Translation from Natural Language Specifications into Algebraic Specifications
- An Algorithm of Computing Slices for Recursive Program
- Study on Routing Algorithm for Optical Switching Networks Based on Wavelength Division Multiplexing Method
- A method for verifying communication protocols based on the phase connection.
- Functional modeling method for Trouble-shooting Diagnostic Systems
- Algorithm for chordal graph with added vertex and edges.
- A Verification Method for Liveness of Communication Protocols Modeled as ECFSMs
- Implementation of an ECA rule mechanism for instance-based OODBMS
- An Algorithm for Finding Optimal Menu Hierarchy
- Program Simplification Method Based on I/O restriction
- An efficient algorithm for finding statistically significant patterns in a set of strings
- Model for Evolutional system
- New Upper and Lower bounds on the Block Error Probability of a Block Modulation Code for Optimum and Suboptimum Decoding
- Study on traffic control method in multimedia ATM LAN
- Description of management process which is based on software quality assurance standards
- Efficient Test Sequence Generation for Localization of Multiple Faults in Communication Protocols

- Parallel Algorithms and Data Structures for Geometric Problems
- The Study on an ITS for Helping Novice Programmers Bridge the Conceptual Gap
- Recognition of Parallel Multiple Context-Free Grammars and Finite State Translation Systems
- Nonmonotonic Inductive Student Modeling
- A Formulation of Explanation-Based Learning as a Knowledge Acquisition Method
- Characterization and Control Methods for Bursty Traffic in ATM Networks
- A Study on Analysis and Measurement of Human Factors in Software Development
- MRI Artifact Correction Algorithms for Motion in the Image Plane
- The Study on Methodology for Building Reusable Knowledge Base for Restoration of Substations.

to ICS Home Page