By Topic

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
  • Semantic and structural query reformulation for efficient manipulation of very large knowledge bases

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

    The authors present a framework for a knowledge base system that supports complex objects and two-level rules. By assuming that the portion of a rule base that is related to a query is small enough to fit in main memory, the bottleneck of the inference stage is not in unifying or managing complex objects but in identifying relevant rules for the query. However, efficient storage and manipulation o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A gridless multilayer channel router

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

    A technique for routing gridless channels is presented. This technique can handle channels of two or more layers without restricting layers to vertical or horizontal direction. Also, it considers all the important routing metrics simultaneously. Since this technique is based on the design rules, it is also capable of handling grid-based channels. The algorithm has been implemented in C on Sequent ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A semi-adaptive DCT compression method that uses minimal space

    Publication Year: 1990, Page(s):359 - 362
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (504 KB)

    Adaptive DCT (discrete cosine transform) compression methods outperform fixed DCT compression methods in terms of image quality, but they need a large amount of scratch space for the transformed image file. The author proposes a semi-adaptive DCT compression method that outperforms fixed DCT compression, but uses only a small amount of scratch space. This method was designed for use in an electron... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new 3D-border algorithm by neighbor finding

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

    The authors propose a new algorithm for finding the three-dimensional border of linear octrees stored in a one dimensional array. A simple method is proposed to check whether an octant is a border octant. Then, the border finding procedure can be carried out node by node according to their location code ordering. In order to improve the performance of the algorithm, a new and efficient neighbor fi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Supporting queries in the O-Raid object-oriented database system

    Publication Year: 1990, Page(s):245 - 250
    Cited by:  Papers (3)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (480 KB)

    The authors present the query language SQL++ used in the O-Raid object-oriented database system. SQL++ is an extension to the relational query language SQL that adds object-oriented capabilities. It supports object-oriented database capabilities such as subobject referencing, method invocation, navigational queries, and `implicit joins' while maintaining the relational capabilities and closure pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Measuring software size by distinct lines

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

    The relationship between DLC (distinct line count) and NCSL (noncomment source lines) is studied on a number of programs, and it is found that, as a simple rule of thumb, the NCSL count can be estimated by twice the DLC. A more accurate model is derived by predicting NCSL from DLC and the number of lines that occur exactly once. It is also shown that, for unrelated programs, the proportion of comm... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Designing a dynamic integrity constraint checker with nonmonotonic logic

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

    The authors report on the design of a dynamic integrity constraint checker with a nonmonotonic interval logic (IL). Central to this logic is the inclusion of the unless operator which captures the nonmonotonicity of dynamic integrity constraints over temporal intervals. IL is embedded in the Ada/ISL Interval Specification Language which has been utilized in the design of the Icarus Integrity Syste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DEMOM-A description based media object data model

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

    A description is given of the DEMOM media object data model, which aims at providing a uniform framework for managing different types of media data i.e. images, text, sound or graphics. According to DEMOM, media objects are defined as a class hierarchy of objects, i.e., images, text, sound, and graphics are subtypes of the general type media object. Representation-specific objects are regarded as ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new plane-sweep algorithm based on spatial data structure for overlapped rectangles in 2-D plane

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

    The authors present a novel plane-sweep algorithm based on spatial data structures with region query operations. Such an algorithm is applicable to the problems of VLSI layout design and image processing. It has a computing time of O(N log N) and allows the functional operations of region search of the spatial data structures to be useful in solving some of the specified... 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.
  • Methods of comparing test data adequacy criteria

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

    The comparative analysis of test data criteria in software testing is considered, and an attempt is made to investigate how criteria have been and should be compared to each other. It is argued that there are two fundamentally different goals in comparing criteria: (1) to compare the error-exposing ability of criteria, and (2) to compare the cost of using the criteria for selecting and/or evaluati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The status and future of interface technology

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

    The session focuses on various stages and aspects of interface technology, from basic research to product development and marketing, and from systems accepting typed sequences of words to systems accepting human input from more than one hardware or software input device. Two topics are reported on in detail: intelligent multimedia interfaces and the utility of intelligent interfaces for complex ap... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance of multiversion concurrency control algorithms in maintaining temporal consistency

    Publication Year: 1990, Page(s):132 - 139
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (696 KB)

    The authors present a model of typical hard real-time applications and the concepts of age and dispersion of data accessed by the real-time transactions. These are used to evaluate the performance of a class of multiversion lock-based concurrency control algorithms in maintaining temporal consistency of data in a real-time shared-data environment. It is shown that it is easier for such a concurren... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Panel: transferring object-oriented technology into a corporation

    Publication Year: 1990, Page(s):647 - 651
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (76 KB)

    A panel session is reported in which issues related to organizing and accelerating the transfer of object-oriented technology into the development organizations of large corporations are addressed. Particular attention is given to an N-party interaction model for technology transfer from a research consortium to industry and to object-oriented curriculum development at Hewlett-Packard 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.
  • Using the software process model to analyze a software project

    Publication Year: 1990, Page(s):338 - 346
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (556 KB)

    Attention is given to the software process model (SPM), which was introduced by A.L. Baker et al. (1987). The SPM models software development by modeling the evolution of the full set of documents produced in software development. The authors show the usefulness of the SPM as a management tool by applying it to a software project. Since the SPM shows patterns of the software product development in... 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.
  • VIPS: a visual debugger for list structures

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

    A description is given of VIPS, a visual debugging system which makes it easy to debug programs by visually displaying the program execution from various aspects using multiple windows. VIPS automatically acquires data type information from the program to be debugged and rapidly displays data structures. The current version of VIPS aims at list structures, which are the most difficult type of data... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compiling linear recursive Prolog programs with list structure into procedural language

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

    The authors present an algorithm for transforming a linear recursive program in Prolog which contains the list data structure as a term of the predicate into an iterative program using a while loop in a procedural language like Pascal. This algorithm obtains the same result as Prolog without unification and backtracking. In this algorithm, the recursive programs are classified into two cases, the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FormPlus: a form authoring toolkit

    Publication Year: 1990, Page(s):255 - 260
    Cited by:  Papers (1)  |  Patents (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (480 KB)

    The authors present the design and implementation of FormPlus, a form authoring toolkit for on-screen form design and filing. It is implemented on an IBM OS/2 Presentation Manager platform. FormPlus provides major front-end functions for form processing such as converting paper forms into electronic forms, designing forms, and filling in forms. No knowledge about programming is necessary. FormPlus... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A connectionist approach to multiple-view based 3-D object recognition

    Publication Year: 1990, Page(s):665 - 670
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (460 KB)

    The authors propose a hierarchical approach to solving the surface and the vertex correspondence problems in multiple-view based 3-D object recognition systems. The proposed scheme is a coarse-to-fine search process, and a Hopfield network is employed at each stage. Compared with the conventional object matching schemes, the proposed technique provides a more general and compact formulation of the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FOREST: a systematic testing environment based on standardized formal description techniques

    Publication Year: 1990, Page(s):483 - 490
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (512 KB)

    The testing environment FOREST (formal environment for systematic testing), which uses formal description techniques systematically, has been developed. FOREST generates the TTCN format test sequence from the specification described in SDL. Furthermore, FOREST generates the test data from the protocol data definition described in ASN.1. By using the FOREST system, the test specification and test e... View full abstract»

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