CASCON

Monitoring is increasingly required for distributed systems to ensure reliability and correctness of run-time behaviour. We are especially interested in monitoring systems that allow for both distributed data collection and analysis as well as for ...

Lock preemption is a common problem with two-phase locking. While a transaction is still active, its locks may be preempted to avoid a deadlock or to satisfy the lock request of a higher-priority transaction. In general, the victim of preemption is ...

This project is developing a trainable system that can extract meaning from texts in different domains (example: various Internet news-groups). The system does partial parsing based on a large dictionary containing approximately 150,000 words. The ...

The agent view provides may be the right level of abstraction for dealing with complex, distributed problem-solving systems. It abstracts from aspects like the hardware or software platforms of various components or the internal structure, methods or ...

The X.500 standard specifies a distributed directory service designed to store information about people and objects associated with computer networks. Its API is geared toward retrieving information based on this application domain. Recently, a number ...

We call the set of metrics, data collection mechanisms, and measurement models used by organizations in running their businesses a Measurement Framework. This paper [1] describes how a knowledge discovery technique called Attribute Focusing (AF) can be ...

The removal of redundant outer joins is essential for the reassociation of outer joins with other binary operations. In this paper, we present a set of comprehensive algorithms that employ the properties of strong predicates along with the properties of ...

The execution time of an SQL query can be reduced significantly by considering different schedules for the operations specified in the query. The benefits of considering different schedules, a hallmark of strength in query optimization, are not usually ...

This paper proposes composite multidatabase architecture consisting of multiple, possibly heterogeneous, peer multidatabase servers distributed on a communications network. The domain of each multidatabase server is treated as a multidatabase cell. ...

In large-scale software development, tools are frequently adopted at high cost, to increase quality and productivity. A method for quantitative analysis of the impact of such tool insertions would allow an organization to plan and assess tool ...

S/SL is a compiler-writing tool that was designed in the late 70's at the University of Toronto. For a time, it was actively developed and enhanced within the IBM Toronto Lab. Widespread interest in the tool within IBM disappeared in the late 80's, and ...

This paper describes the design and algorithms of FDPR/2 (Feedback Directed Program Restructuring of OS/2 executables), a general-purpose tool that can be used to instrument, profile, and restructure/optimize OS/2 executables for the tel x86 ...

Quality issues such as modifiability, performance, reusability, comprehensibility and security, are often crucial to a software system. As such, quality requirements (or nonfunctional requirements, NFRs) should be addressed as early as possible in a ...

Ubiquitous computing is an attempt to simplify human-computer interaction by embedding computational power in everyday objects. The resulting technology is distributed yet invisible. This approach offers an appealing alternative to current complex user ...

This paper presents software supervision as a technique for improving the software reliability of reactive systems. Software supervision consists of monitoring both the inputs and outputs of a target system and checking them against the target system's ...

High-assurance real-time software must be designed and verified in the light of its dependence on the underlying operating system and hardware. This is true both because timing is critical to correctness and because critical safety requirements must be ...

As the software marketplace becomes more competitive, customers and developers demand more from their products. Software quality is now seldom measured solely in terms of executable features. Non-functional qualities, such as portability, modifiability ...

This paper presents a component based software reliability model. The proposed model provides software system reliability estimates from the reliability of software components and the usage ratio of each component. Issues relating to the techniques for ...

A refinement calculus is a mathematical technique that provides a mechanism for rigorously transforming specifications into executable programs in a step-wise manner. A by-product of this technique is a formal proof of correctness of both the ...

The paper describes an automatic document classification system called NeuroClass, developed for the Air Transportation Field of Transport Canada. NeuroClass is a working classification tool for natural language text, based on recurrent neural network ...

This paper describes interactive and algorithmic layout in GraphVisualizer3D, an experimental system for carrying out software engineering tasks via a three-dimensional diagram. In GraphVisualizer3D the software structure is represented as a nested ...

Since class objects are the major components in object-oriented (oo) programs during run-time, specifying and testing the behavior of these objects become important tasks in testing of object-oriented programs to complement other types of testing, such ...

A technique for using economical multimedia sensors to autonomously track human beings is presented. A sequence of color images captured from a video camera is processed in real-time to determine target locations. This data may be used to guide a ...

The runtime performance of object-oriented languages often suffers due to the overhead of dynamic dispatching. In order to make these languages competitive with traditional languages, optimizing compilers attempt to eliminate as many of the dynamic ...

Videoconferencing enables people to attend and participate in meetings from remote locations. The key problem faced by electronic attendees is the limited sense of engagement offered by the audio-visual channel. The attendee is typically restricted to a ...

Current World Wide Web browsers, e.g., Mosaic and Netscape, support users primarily in the task of browsing the Internet. In some situations, users want to explore topics for which relevant information may reside both on a large local database and on ...

In this paper we describe how we are using the Hy⁺ visualization system to visualize the portion of the World Wide Web explored during a browsing session. As the user browses, the Web browser communicates the URL and title of each document fetched as ...

Universal noiseless coding is of considerable interest to industry for the purposes of data reduction in order to store or transmit large volumes of typically textual data. Compression schemes have evolved from simple memoryless Huffman coding, to the ...

In order to retrieve images it is much more sophisticated and usual for human beings to use natural language concepts, e.g. mountainlake, than syntactical features, e.g. red region left up. This leads to a content-based image retrieval. Furthermore, it ...