I propose a technique that identifies program properties that may indicate errors. The technique generates machine learning models of run-time program properties known to expose faults, and applies these models to program properties of user-written code to classify and rank…

Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept of regions was first introduced for a call-by-value functional language by Tofte and Talpin, and has…

The knowledge imperfections should be considered when modeling complex problems. A solution is to develop a model that reduces the complexity and another option is to represent the imperfections: uncertainty, vagueness and incompleteness in the knowledge base. This paper proposes…

The CancerFit computer program allows cancer researchers to analyze epidemiologic data describing the age-specific risk of cancer in terms of hypotheses about historical environmental risks, the heritability of cancer, the role of gender and the processes embedded in cancer formation.…

Java 1.5 will include a type system (called JSR-14) that supports parametric polymorphism, or generic classes. This will bring many benefits to Java programmers, not least because current Java practise makes heavy use of logically-generic classes, including container classes. Translation…

In this work an optics virtual laboratory is presented. This virtual laboratory is a set of different applets, tools based in Java, which allow the visualization of different physical laws in the field of optics. The applets have the advantage…

This article discusses a project to design and implement a small French vocabulary tutor for the World Wide Web. The tutor includes words, pictures, and sounds to help students learn new words and their pronunciation. The article highlights salient features…

This paper presents a new approach to algorithm design and analysis that benefits from the OO characteristics of Java. It consists of first defining the inheritance structure of a collection of algorithms, at different levels of abstraction. Then, correctness proofs…

This paper reports on the grammatical and programmatical production aspects of the Hebrewer, a cross-platform web-based reference work in the form of a Hebrew inflection generator. The Hebrewer, a Java applet/servlet combination, is currently capable of generating 2,500 nouns in…

This paper introduces a new set of compact interactive simulations developed for the constructive learning of computer networks concepts. These simulations, which compose a virtual laboratory implemented as portable Java applets, have been created by combining EJS (Easy Java Simulations)…