Proceedings., Fourteenth Annual International Computer Software and Applications Conference

Oct. 31 1990-Nov. 2 1990

Filter Results

Displaying Results 1 - 25 of 114
  • The software engineering of extensible database systems

    Publication Year: 1990
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (28 KB)

    Summary form only given. Extensible DBMS (database management system) technology is aimed at simplifying the customization of DBMSs for specialized applications. Customization may involve the introduction of new data types and operators, support for new data languages and data models, new storage structures, and new relational operators. It is pointed out that to achieve these ambitious goals, an ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software productivity metrics-new initiatives in making it work (panel)

    Publication Year: 1990, Page(s):253 - 254
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (98 KB)

    The software productivity activities in The IEEE Computer Society, the Software Productivity Consortium, and the Software Engineering Institute are addressed. Particular emphasis is placed on the metrics work of the Software Productivity Consortium, which includes the development of definitions of quantifiable aspects of the process and the products it generates and the establishment of means to o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proceedings. Fourteenth Annual International Computer Software and Applications Conference (Cat. No.90CH2923-1)

    Publication Year: 1990
    Request permission for commercial reuse | |PDF file iconPDF (136 KB)
    Freely Available from IEEE
  • Rollback recovery in real-time systems with dynamic constraints

    Publication Year: 1990, Page(s):524 - 529
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (440 KB)

    Rollback recovery is a backward error recovery technique for recovering from transient faults in computing systems. Real-time systems employing fault tolerance and reconfiguration generally have time-dependent (dynamic) constraints. The author presents a novel rollback point insertion strategy which evaluates the rollback conditions on-line. The technique minimizes both time and space overhead ass... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A unified hardware/software fault detection experiment in a 5ESS system

    Publication Year: 1990, Page(s):519 - 523
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (348 KB)

    A new approach to customer-oriented end-to-end testing is proposed as an integral part of the architecture for enhancing the reliability of AT&T Bell Labs' products and the quality of their ISDN services. The basic idea is to create virtual customers who are constantly using the system as real customers, thereby continually exercising and monitoring the system's operations in a real working en... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A bi-level object-oriented data model for GIS applications

    Publication Year: 1990, Page(s):238 - 244
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (708 KB)

    A bi-level object-oriented data model together with a user query language called OFQL is designed which can support applications like GIS (geographic information systems). The data model is divided into two layers, the higher-level data model and the lower-level data model. The higher-level data model or the geographic object data model primarily consists of the geographic objects and a set of sem... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An approach to introduce the reflection to C++

    Publication Year: 1990, Page(s):52 - 56
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (364 KB)

    The authors report on their work to introduce the reflective architecture in a popular compilation-based language, C++, without modifying the compiler. The reflective architecture provides a disciplined split between the object level and the meta-object level in a class-based form. The unit of causal connections is the class member function. Mechanisms based on the methods diversion are constructe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On real-time software testing and debugging

    Publication Year: 1990, Page(s):512 - 518
    Cited by:  Papers (2)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (756 KB)

    Testing and debugging of real-time software systems are difficult because of timing constraints imposed on them and because of their nondeterministic behavior. Conventional static analysis is not adequate to deal with the violation of timing constraints which are inherent in real-time software systems. The authors present a dynamic analysis method which uses the recorded run-time information to te... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A graphical interface for an object-oriented query language

    Publication Year: 1990, Page(s):231 - 237
    Cited by:  Papers (1)  |  Patents (9)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (580 KB)

    A graphical user interface for an object-oriented query language, GOQL, is presented, GOQL is a part of a prototype knowledge base management system which is based on an object-oriented semantic association model, OSAM. GOQL consists of a graphical browser and a graphical querying module. The browser allows a user to browse through a complex knowledge-base schema graphically and prune it into a de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MCFS: a multiple criteria reasoning fuzzy expert systems building tool

    Publication Year: 1990, Page(s):605 - 610
    Cited by:  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (512 KB)

    The authors present the design principles of MCFS, an expert system building tool based on the idea of combining multiple criteria reasoning with the concepts of fuzzy logic. An important feature of MCFS is its ability to handle multiple criteria reasoning by structuring the deduction process into a hierarchy of logical levels. Within each level, the rules are organized into sets of rules and rule... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cognitive building blocks of a database expert system

    Publication Year: 1990, Page(s):88 - 91
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (272 KB)

    The practical application of cognitive psychology is addressed. A model for how human thought abstraction works is described, and then it is shown how that model was used as the framework for the design of the ATHENA expert system. The system is intended to assist engineers in quality assurance of database design View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A symmetrical approach to granting and revoking access rights in database management systems

    Publication Year: 1990, Page(s):124 - 131
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (612 KB)

    The concept of independent revocation is described where an authorizer specifies revocation independently of the current status of authorization. Some of the aspects relating to the implementation of a system providing independent revocation were discussed. Revocation is first discussed in terms of formal models of authorization. The concept of an access matrix is introduced, and extended to allow... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An application of object-oriented design for communication control systems

    Publication Year: 1990, Page(s):43 - 51
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (576 KB)

    The authors present what is believed to be the first concrete object-oriented design (OOD) of a practical communication control system. First, all terms which are needed to describe target system behavior are unified by all designers, and listed. Next, objects are made from the term list, and operations found in target system behavior are added to the objects. The behavior of the target system is ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hybrid relations for database schema evolution

    Publication Year: 1990, Page(s):465 - 470
    Cited by:  Papers (1)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (444 KB)

    The author describes hybrid relations in relational databases that allow existing relations to be altered by the addition of new attributes without reorganization of the database scheme. The values of new attributes with respect to an existing relation are stored separately from the relation as a set of triples of tuple identifier, attribute name, and value. At query time, a hybrid relation, which... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The lines of code metric as a predictor of program faults: a critical analysis

    Publication Year: 1990, Page(s):408 - 413
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (560 KB)

    The relationship between measures of software complexity and programming errors is explored. Four distinct regression models were developed for an experimental set of data to create a predictive model from software complexity metrics to program errors. The lines of code metric, traditionally associated with programming errors in predictive models, was found to be less valuable as a criterion measu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling execution time of multi-stage N-version fault-tolerant software

    Publication Year: 1990, Page(s):505 - 511
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (552 KB)

    The timing performance of N-version multi-stage software is analyzed for a strategy called expedient voting. In expedient voting the voting takes place as soon as an adequate number of components have finished the stage. The concept of a `runahead' is introduced: the faster versions are allowed to run ahead of the rest of the slower versions by one or more stages, with synchronized re-sta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • AuditPro-integrating knowledge-based technology with diagramming tools for auditors

    Publication Year: 1990, Page(s):173 - 183
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (636 KB)

    The authors describe the design of AuditPro, an integrated collection of tools for supporting auditors performing internal control evaluation. Among the tools are a graphical document-flowchart editor, a graphical organization chart editor, an `outliner-type' internal control questionnaire, and an expert system. The unique features of this system are that the knowledge-based component of the syste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The conceptual design of OSEA: an object-oriented semantic data model

    Publication Year: 1990, Page(s):221 - 230
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (808 KB)

    Semantics is integrated with an object-oriented data model to increase its power of expression, leading to the notions of subsumption of attributes, values, and relationships. In addition, the concept of inheritance is extended to include inheritance of relationships as well as attributes and operations. The specification of attributes, relationships and operations for the hierarchical framework i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Intelligent query mechanism for expert systems

    Publication Year: 1990, Page(s):599 - 604
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (368 KB)

    The authors describe a set of query techniques which helps to improve the efficiency of the query mechanism of expert systems. They discuss a number of algorithms and formulae for identifying a key feature set and deriving an ideal query sequence. The proposed algorithms aim to cut down the consultation time so as to increase the efficiency of the expert system. The query mechanism can be further ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object oriented approach to automating patient medical records

    Publication Year: 1990, Page(s):82 - 87
    Cited by:  Papers (1)  |  Patents (27)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (432 KB)

    It is pointed out that, in automating patient records, one must consider the conversion of existing paper records, the records generated by various heterogeneous departmental medical information systems, and the different media (graphics, image, and voice) output created by some modern automated medical instrumentations. In an attempt to solve this complex problem, an object-oriented medical recor... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic query range for multikey searching

    Publication Year: 1990, Page(s):118 - 123
    Cited by:  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (516 KB)

    The use of range searching data structures for general multikey PROJECT-SELECT-JOIN queries is studied. A dynamic query range concept is introduced as a means for performing range searches in kd-trees when the search range contains multi-variable comparisons. A full implementation is described and test results are presented. Thus, through searching on the dynamic query ranges, the general PROJECT-... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Transformation technique of algebraic specification

    Publication Year: 1990, Page(s):705 - 710
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (396 KB)

    A formal transformation process to implement algebraic specification is introduced which relaxes the linear restriction of the algebraic axioms. The formal transformation process can process nonlinear algebraic specification, and it can make the expression of the algebraic specification more flexible and richer. From this formal process, different implementation systems can be derived formally bas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improving exception handling with object-oriented programming

    Publication Year: 1990, Page(s):36 - 42
    Cited by:  Papers (1)  |  Patents (8)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (644 KB)

    An attempt is made to explain how the object-oriented formalism can improve the expressive power of an exception handling system and how it can simplify its implementation and its utilization. Using the proposed approach, a user-friendly, powerful, extensible and reusable exception handling system has been implemented. A specification of such a system using an 00L is described. Several classical e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rule base inspection using algorithmic approach for data-access oriented knowledge-based systems

    Publication Year: 1990, Page(s):155 - 160
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (448 KB)

    The authors describe an effective rule-base inspection method that checks rule-base consistency and completeness by using an algorithmic approach. A knowledge base in this method is represented by a finite state diagram called a context transition diagram. Through this diagram, some errors and anomalies of the rule base can be clearly illustrated and identified. The characteristics of states repre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application-level software self-balancing

    Publication Year: 1990, Page(s):202 - 207
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (444 KB)

    The authors propose a hybrid static/dynamic scheduling scheme on distributed-memory multiple-processor systems, e.g., distributed systems and multicomputers. Using this self-balancing scheme, computations are first scheduled statically, and then dynamically redistributed to adapt to the run-time environments. The rescheduling operations are directed by a number of program parameters, which can be ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.