- A Statistical Analysis of Relationship between Software Metrics with a View of Program Variables and Software Development Effort
- Synthesis of Protocol Specifications from Service Specifications with Service Interactions
- An Object-Oriented Database Protein Three Dimensional Structure Data --- Design and Implementation of Methods ----
- A sufficient condition of Method Schema consistency in object-oriented programming
- Design and Trial Manufacture of Responsive Protocol Validation System
- A Cost Optimal Parallel Algorithm for Computing A Balanced Decomposition Tree of A Binary Tree
- Problem Solving Process Monitor for Teaching Strategic Kowledge on Logic Proofs
- Construction of the Object-oriented GUI class library for argorithm animation systems
- An Algorithm for generating all Perfect Matchings of a Bipartite Graph
- complexity of transformation from chordal graph to interval graph complexity of transformation from chordal graph to interval graph
- Forecast of demand by the neural network approach
- An Algorithm to find a maximum clique of rectangle-intersection graph
- Refinement of Implementation of Message Derivery System in Parts Hierarchy
- The development of the line drawing processing method aiming at the recognition of chemical structure formula pattern
- A schedule management system for cooperative work on network environment
- A fast algorithm for computing a maximal common subsequence among strings
- A Directory Service Program
- Geometric Representation of Time-Series Data
- Parsing Algorithm Animation
- Making an input analizer of semiautomatic drawing system for diagrams which have graph structure
- Fast Implementation of the Procedures which Generate Random Numbers in Simulation Programs for Evaluation of the Probability of an Incorrect Decoding of Error Control Codes.
- Implementation of a New Algorithm for Deciding the Axiomatic Security of Cryptographic Protocols --- Implementation of exchanging problem part ---
- A research about improvement of function of reporting errors on compiler
- Design of simulator user interface by Object Modeling Technique
- Experimental Evaluation of Program Module Replacement for Improving the Reliability of Multiversion Software
- Implementation of an Execution Supporting System for Software Processes described in LOTOS
- A Facility for Case Analysis of Conditional Branches in ASL Verifier
- Motion Artifact Correction in MRI with the Analysis of Phase Fluctuation and Spectrum Shifts
- Road region Detection by inverse perspective transfoemation
- Generation of test sequences for conformance testing of multi-process protocol
- Construct of Simulation System for Parallel Algorithms with Shared Memory
- A Suggesution of Probability State Transition Model of a Programmer in Test
- The Design and Implementation of an Authentication System for the Wide Area Network
- RSQL:A recursive query language for object-oriented databases
- Experimental Comparison of Performance of Load Balancing Algorithms on Several Processor Networks -Mesh, Torus and Hypercube-
- Implementation of a New Algorithm for Deciding the Security of Cryptographic Protocols --- Implementation of the Decision Part ---
- Research of papers according to method of requirements analysis for software system
- A deriving system of Protocol Entities' Specification from Service Specification of Distributed System
- A system which generates a Natural Language Document from an Algebraic Specification of an Abstract Sequential Machine
- The Teaching Materials Presentation System which takes efficiency of editing teaching materials into consideration
- Analysis of Software development processes with Petri net model
- An analysis and modeling the impression of pictures with temperature changing
- A Research for Generation of Problem-Solving-Engine from Conceptual Task-Flow with Dialogues
- A chart style language system intended for algorithm education
- An Execution Supporting System for Software Process described in LOTOS
- Reaction and the reciprocal relation caused by pattern stimulation on the model of the cerebral cortex
- An Object-Oriented Database of Protein Three Dimensional Structure Data: Data Conversion and Graphical User Interface
- Cooperative control algorithms for anonymous mobile robots to form a circle

- Parmutation layout problem to have a wiring pattern such that no wire passes between pins
- An Object Model for Signal Processing and Its Applications
- AGGREGATE-based Object-Oriented Programming
- Performance Evaluation of Parallel Algorithms Which Utilize Randomization - In The Case of Packet Routing Problems and Loadbalancing Problems -
- An Object-Oriented Database of Protein Three Dimensional Structure Data
- A Study on Quantitative Evaluations of Various Documents Used in Structured Analysis
- Retrieving from Network News using Signature Method
- Responsive Protocols Design using Protocol Verifications
- A Formal Software Process Description in LOTOS and Its Enacting System
- Model-Based Moving 3D Object Recognition and Motion Recovery
- A Method of Qualitative Reasoning for Trouble-shooting Diagnostic Systems and a Application of the method to a Nuclear Plant
- Path addition algorithm for upward plane drawing of a digraph
- A Software Development Navigation System With Cooperative Activity Information
- A semiautomatic drawing system for diagrams which have graph structure
- Recovering occluded part of object and object recognition.
- On Termination of Magic-set Rules
- Moving Objects Extraction Using Loci of Subtractions in Image Sequences
- Alogorithm for Generating Ordered Trees
- LAN Interconnection through Wide Area Networks: Comparative Evaluation of Performance
- Research about Termination of Deductive Database Evaluation
- A polynomial time algorithm for computing a shortest characteristic sequence and maximal common subsequence of a set of sequences
- Recognizing Surface and Spatial Structure of Environment from Wire-frame Model
- A System for Deciding the Security of Cryptographic Protocols --- On Verification Examples and an Enhanced Function ---
- Approximation to the block error probability for convolutional codes
- Design and Implementation of Network Monitoring System for Wide Area Network
- Navigation for the Mobile Robot using Omnidirectional Image Sensor COPIS
- Design and Trial Manufacture of a Educational Computer Simulator
- Qualitative Object Recognition Using Local Aspect Table

- Design and Evaluation of Efficient PROLOG Implementation Methods
- Dialogue Understanding Based on Consistency of the Knowledge States of Dialogue's Participants
- Routing Algorithms for Distributed Systems and Debuuging Distributed Programs
- A Generic Framework Based on ATMS for Speech Understanding Systems
- Coding Theoretical Approach to the Analysis of the Aliasing Probability in Signature Testing
- Studies on Capacity Assignment Algorithm for Packet Switching Network
- Switch Architecture and Traffic Controlfor ATM Networks
- A Task Analysis Interview System Based on Two-Level Task Ontologies

to ICS Home Page