Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International

21-23 Aug. 1996

Filter Results

Displaying Results 1 - 25 of 101
  • Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96

    Publication Year: 1996
    Request permission for commercial reuse | |PDF file iconPDF (1321 KB)
    Freely Available from IEEE
  • A colored Petri net-based formal method for the design of control systems

    Publication Year: 1996, Page(s):28 - 35
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (787 KB)

    Several formal methods model reactive systems as discrete-event systems (DES). This makes mathematical reasoning about their properties easier and controller synthesis possible. We investigate the forbidden state control problem in which a DES is represented as a colored Petri net with a symmetry specification. More specifically, we provide an efficient formal method for synthesizing a controller ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multimedia on the Internet

    Publication Year: 1996
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (79 KB)

    Summary form only given. Sun is a strong supporter of open standards and therefore believes in cross-platform interoperability. The web is the universal interface to world's digital library. The biggest component of multimedia is video. Compliance of video with international standards based on ISO/MPEG specifications is very important in terms of facilitating interoperability. The standardized uni... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Marriage of wired and wireless networks to build tomorrow's Internet

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

    Summary form only given. Tomorrow's Internet will neither be completely wired nor be completely wireless. Our proposed solution is the interim of the wired and wireless network, where roaming nodes are connected back to the wired media when they reach a wired site. The idea is to utilize the large bandwidth infrastructure available over the wired backbone network to connect all static nodes and at... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • High assurance systems engineering

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

    Summary form only given, as follows. As we aim to develop more and more complex software systems for real time applications, the concern about their safety and reliability is also growing. In the author's opinion, development of these systems require more formal approaches than the development of a general purpose software system. We can draw our analogy from hardware engineering for which we know... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Network management system development using an application framework

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

    Summary form only given. The advantages of using an application framework are described by introducing the NetKeeper network management system. Experience using NetKeeper has shown the ease of constructing communication applications and the rapidity of software construction with an application framework. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software process re-engineering and improvement

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

    Summary form only given. We discuss the methodology and lessons learned in the reengineering and improvement of software process. The following areas are specifically tackled: new demands to and changing paradigms of software development; methods of software process reengineering and improvement; information and software technology for software process reengineering and improvement; best practices... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A team-based process improvement initiative

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

    Summary form only given. The Information Technology Institute (ITI) thrives on a research and development environment that is similar to many applied research institutes in the United States. It delivers projects that apply advanced and useful high technologies to difficult problems. Most of these projects have a fixed deadline, be it a launch date or a deployment date. Hence, the process supporti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hardware/software partitioning for telecommunications systems

    Publication Year: 1996, Page(s):483 - 488
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (613 KB)

    Telecommunications systems, like other embedded systems, are dataflow systems, easily represented by a set of tasks and precedence constraints. The main goal of the design of such systems is to determine for each task the assignment (hardware or software), the scheduling and resources required. We consider assignment and scheduling to be closely linked in hardware/software partitioning and therefo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software education in the 21st century

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

    Summary form only given. It is a well recognized fact that economic growth in industrial countries come from three main sources-technical progress, capital, and a well-educated labour force. To maintain our position as, or to become, economic powerhouses in the world, education in science and technology must be emphasized and wide spread. Computer education (not just software education) is an impo... View full abstract»

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

    Publication Year: 1996
    Request permission for commercial reuse | |PDF file iconPDF (149 KB)
    Freely Available from IEEE
  • VIRON: an annotation-based video information retrieval system

    Publication Year: 1996, Page(s):298 - 303
    Cited by:  Papers (1)  |  Patents (12)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (620 KB)

    To provide efficient search and retrieval of video data from large archives, we need to model video data appropriately. We propose a video data model and describe the design and implementation of the annotation-based video retrieval system VIRON (Video Information Retrieval On Notation) based on the proposed model. This model provides the mechanism of sharing and reusing annotations among users by... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integration of a relational database with multimedia data

    Publication Year: 1996, Page(s):290 - 297
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (808 KB)

    We propose a method for integrating a preexisting conventional database system with a multimedia server in a multidatabase environment. In the multidatabase environment, changes to the preexisting database system are not allowed because such changes are too expensive. For the integration, high-level semantic description of multimedia data is modeled using the enhanced entity-relationship (EER) mod... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A presentation scheduling scheme for multimedia databases

    Publication Year: 1996, Page(s):284 - 289
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (472 KB)

    An essential function of the multimedia DBMS is to present objects of the query result according to their temporal-spatial relations. These relations can be specified within the database schema on the class level and used for each object presentation. In the case of partial extraction, however, the retrieved objects may not belong to an existing class, but to a newly created class which does not h... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multimedia over the Internet

    Publication Year: 1996
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (92 KB)

    The paper discusses the motivation, requirements, and the emerging technologies to carry multimedia services over the Internet View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A fuzzy association algebra based on a fuzzy object oriented data model

    Publication Year: 1996, Page(s):276 - 281
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (512 KB)

    The complexity of real applications in the field of intelligent information systems has required fuzzy data models for the expression and processing of uncertain and imprecise data. We propose a fuzzy association algebra (FA-algebra) as a query algebra for a new fuzzy object oriented data model (F-model). The F-model is investigated as fuzzy extensions of an object oriented data model, in which fu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time simulation techniques based on the RTO.k object modeling

    Publication Year: 1996, Page(s):176 - 183
    Cited by:  Papers (13)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (728 KB)

    Real-time simulation is an advanced mode of simulation in which the simulation objects are designed to show the same timing behavior as the simulation targets. A new approach to real-time simulation which is based on the RTO.k object modeling is discussed. The RTO.k object, which is a real-time extension of the well-established object structure, is capable of uniformly and accurately representing ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A logic database system with extended functionality

    Publication Year: 1996, Page(s):414 - 419
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (512 KB)

    We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non Horn) facts in extensional database (EDB) and existential quantification in intensional database (IDB) rules. Semantic query optimization is integrated as part of the query processing module. The system also deals with efficient rule manageme... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Handling multimedia data for mobile computers

    Publication Year: 1996, Page(s):147 - 148
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (132 KB)

    Mobile clients have unusual needs for sending and receiving multimedia data. The traditional client/server paradigm does not take into account variable network conditions; thus traditional client/server applications have no capability of responding to intermittent connectivity, changing cost structures, or the kind of fluctuations in available bandwidth which are characteristic of wireless links. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A popularity-based data allocation scheme for a VOD server

    Publication Year: 1996, Page(s):62 - 67
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (484 KB)

    In the real world, the popularity of each video is different. We propose a new popularity-based data allocation scheme to allocate data units within a cluster such that the corresponding data units of these popular videos are stored in those cylinders at one end of each cluster. Due to a higher spatial locality within these hot cylinders, some data units requested by the users are stored in the sa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A dynamic indexing structure for searching time-series patterns

    Publication Year: 1996, Page(s):270 - 275
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (420 KB)

    In order to handle time-series patterns efficiently, a database system needs an index mechanism that will help it retrieve patterns quickly according to their temporal and spatial characteristics. Time-series patterns are represented as a sequence of points in multidimensional spaces, thus traditional indexing methods are not well suited to support this requirement. We propose a dynamic index stru... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sharing the design information in a distributed concurrent development of large-scale software systems

    Publication Year: 1996, Page(s):168 - 175
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (928 KB)

    The paper analyzes the characteristics of the design information in a distributed concurrent development of large-scale software systems, and proposes a method for the classification and management based on the concept of structuredness in terms of structural and temporal characteristics of the design information. With the classification method, we discovered that many pieces of design information... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal linear hashing files for orthogonal range retrieval

    Publication Year: 1996, Page(s):406 - 413
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (428 KB)

    We are concerned with the problem of designing optimal linear hashing files for orthogonal range retrieval. Through the study of performance expressions, we show that optimal basic linear hashing files and optimal recursive linear hashing files for orthogonal range retrieval can be produced, in certain cases, by a greedy method called the MMI (minimum marginal increase) method; and it is pointed o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An experience report on architecture development

    Publication Year: 1996, Page(s):378 - 383
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (640 KB)

    There is relatively little information on the process that should be taken to derive a software architecture. We propose a process for the development of software architectures for large systems and describe our experiences in the development of an architecture for distributed systems that helped in defining this process View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Algebraic software testing in vector spaces of functions

    Publication Year: 1996, Page(s):234 - 239
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (568 KB)

    The problem of determining whether two programs compute the same function is undecidable. We restrict the class of functions that a program can compute to be a finite dimensional vector space, enabling the problem to become tractable. We prove a theorem showing that the number of test points needed to distinguish any such programs is equal to the dimension of the vector space of functions which th... View full abstract»

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