Search
Now showing items 1-10 of 26
HB2 : a hyperbase management system for open, distributed hypermedia system architectures
(1992)
The complexities of providing data management support for advanced hypermedia computing environments make it clear that effectiveness requires more than simple extensions to existing database technology. This dissertation ...
A fuzzy uncertainty management translator
(1992)
This dissertation discusses motivations and methods for translation of knowledge bases (KBs) between different expert system building tools (ESBTs). A Knowledge Canonical Form (KCF) is presented as a generic knowledge ...
Design and analysis of concurrency control schemes for Heterogeneous Database Systems
(1992)
In Heterogeneous Database Systems (HDBS), concurrency control presents a new problem since serializability at the local level does not guarantee serializability at the global level. Several approaches have been proposed ...
Models and algorithms for task allocation in a parallel environment
(1992)
A task allocation algorithm in a parallel system assigns tasks to each processor with a goal of minimizing both execution and communication costs. Previous research shows the need for algorithms which can approximate this ...
TBSM : a task-based specification methodology for expert systems
(1993)
There has been an increasing interest in improving the quality and reliability of artificial intelligence systems. As a result, several methodologies for specifying expert systems have been proposed. However, these approaches ...
A generalized utilization bound test for fixed-priority real-time scheduling
(1993)
Liu & Layland provided a utilization bound test which is applicable to rate-monotonic priority assignment, when all tasks deadlines axe at the end of their periods. Subsequently, Lehoczky and others provided an exact ...
PROXHY : a process-oriented extensible hypertext architecture
(1990)
This research describes a new architecture for hypertext environments. The architecture merges the process, object-oriented, and hypertext models to provide hypertext services to object-based, distributed, application ...
Validation and verification of Finite State Machines
(1993)
This dissertation presents several new results for automatically generating conformance test sequences for communication protocols by means of Unique Input/Output (UIO) sequences based on Finite State Machine (FSM). UIO ...
Dexterous manipulation planning for a planar whole-arm manipulation system
(Texas A&M University, 1996)
Dexterous manipulation planning can be defined as the process of determining the control trajectories both in terms of joint displacements and efforts for an articulated mechanical hand, in such a way that, if executed, ...
Constraint-based representation and reasoning for computer-aided design
(1995)
Design can be considered as a constraint satisfaction