CASCON

This paper describes how structural transformation can be applied to the problem of translating schemas expressed in one data model into equivalent schemas expressed in another data model. We explain our approach to the problem which involves ...

Spatial object management is important in numerous application areas, including geographic data, CAD, and VLSI design. It often involves insertion, deletion, and range search of spatial objects, so requires efficient dynamic indexing of objects.This ...

It has been observed that memory access performance can be improved by restructuring data declarations, using simple transformations such as array dimension padding and inter-array padding (array alignment) to reduce the number of misses in the cache ...

Object-Oriented Analysis and Design (OOAD) techniques appear to be at the forefront of software engineering technologies. Nevertheless, as with the introduction of any relatively new technique, there is a tendency for people to attempt to maximize ...

With current graphical user interfaces, more information is being presented to the user at once. Some information, such as static image buttons, may be confusing. An experiment was conducted to measure differences in identification of static and ...

Most concurrency control schemes for guaranteeing global serializability in composite multidatabase systems are susceptible to rollbacks. Conservative schemes generate rollbacks because of transaction timeouts, while those of optimistic schemes are ...

Software tools play an important role in the software development process. Some tools are used by users taking on one specific role, in very specific activities and to process documents of a specific type (e.g., a compiler). Other tools are used by ...

This paper describes an ongoing research program for the development of an electronic news delivery system that exploits the promised high-bandwidth, switched, interactive communication facilities of the information highway. The research program is in a ...

An experiment is described that compares two commercial handwriting recognizers with handprinted characters. Each recognizer was tested at two levels of constraint, one using lowercase letters (which were the only symbols included in the input text) and ...

A key problem in today's complex software systems is software failure detection and isolation given that most software failures are only partial, and if efficiently diagnosed, isolated and recovered, could avert a total outage. The probe detects failed ...

Many systems, particularly those which present relational information, include a graph drawing function. Such systems have motivated a great deal of research on algorithms for drawing graphs; a recent survey lists over 250 references. Almost all this ...

As software reuse becomes more prominent and accepted in industry, systems and tools for software reuse become a key aspect in achieving successful reuse of software artifacts. A major problem with such tools is the retrieval and classification of the ...

Module Interconnection Languages (MILs) describe and enforce the modular structure of systems. Originally developed in the 1970's, research in the area has reemerged in several incarnations over the years. While there have been differences in each ...

The Hy⁺ database visualization system uses GraphLog, a novel graphical language to express a wide range of queries that have been traditionally outside the reach of relational languages. Therefore Hy⁺ has used various deductive database systems (Prolog, ...

This paper discusses early experiences using two approaches to reverse engineering technology, Rigi and Software Refinery, to analyse the structure of product documentation written using BookMaster.

In this paper we present some experimental results on the classification of natural language documents using Kohonen's self-organizing-map neural network paradigm. We discuss, in particular, how the classification accuracy can be improved if the ...

This paper overviews the novel Loosely-synchronous Transfer Mode (LTM). In LTM, the network signals sources about its current status, that is, destinations to which frames are being currently routed and quality of service that is being provided. By ...

This paper proposes a new language for the development of distributed multimedia applications: Quality Assurance Language (QuAL). QuAL abstractions allow the specification of Quality of Service (QoS) constraints expected from the underlying computing ...

The focus of this work is an investigation into the correlation between "true" reliability of a software system and the white box testing measures such as block coverage, c-uses and puses coverage. We believe that software reliability and testing ...

Formal, visual approaches to system modelling are a promising research area of configuration management. A GUI-based widget for configuring software systems, called ConForm[1], has been designed, formally specified in the Z language, and a prototype is ...

The ambition of every designer is the software equivalent of a cathedral. But maintenance programmers are more comfortable in a farmhouse than a cathedral. We argue that current design methodologies are oriented towards cathedrals, and we propose object ...

Object-oriented technology has been widely studied and applied. Substantial research has been carried out in object-oriented analysis, design and programming language. However, relatively little attention has been paid to testing of object-oriented ...

The quality of a service is determined by the performance and the resilience of the service and depends on the underlying system (for example the subnetwork) characteristics. These characteristics represent the constraints under which a service provider ...

This paper describes practical design and implementation techniques used for creating Group Support Systems (GSS) in networked PC environments. Examples of GSS based on the shared context model and implemented in Microsoft Windows are presented and ...

This paper demonstrates that the enaction of a software process can be separated from the formalism in which the process is modeled. To show this, we built a compiler capable of automatically translating a process model specified using Statemate into a ...

In contrast to the explosion of activity in object-oriented design and programming, little attention has been given to object testing. In our approach, a driver class and an oracle class are developed for each class-undertest (CUT). The driver class is ...

The Document Development Life Cycle (DDLC) covers all aspects of the use of structured electronic documents. Without a frame of reference, however, the DDLC lacks a focus to position various critical steps and tools required for the successful design, ...

One of the first steps in improving a process is to understand the process, for example, by building descriptive models of the process. This paper addresses the elicitation of formal process models from real-world projects, using the Elicit method and ...

This paper presents a design for instantiating C++ objects in shared memory to facilitate communication between processes of an application. Issues related to static data members and virtual function tables of the C++ classes of these shared objects are ...

As more and more mission-critical applications and services are deployed in distributed computing environments, managing these applications and services for increased reliability and performance is becoming an increasingly important and necessary task. ...