Electronic Homework on the WWW
This paper presents the design of an Intelligent Tutoring System (ITS) MathEH, that is a coached problem solving system, also called "Electronic Homework". In describing the main modules of the system, we emphasize its novel aspects: (1). Using Constraint Logic Programming (CLP) as the domain knowledge representation and automatic reasoning mechanism. (2). A method for probability propagation in Bayesian networks to achieve two adversary requirements: exact probability computation and real-time response. (3). The design decisions about how to deploy MathEH on the WWW.

title: Observations on versioning of off-the-shelf components in industrial projects (short paper)
abstract: Using OTS (Off-The-Shelf) components in software projects has become increasing popular in the IT industry. After project managers opt for OTS components, they can decide to use COTS (Commercial-Off-The-Shelf) components or OSS (Open Source Software) components. We have done a series of interviews and surveys to document and understand industrial practice with OTS-based development in Norwegian, German, and Italian IT industry. The perspective is that of a software architect or system integrator, not a developer or maintainer of such components. The study object is a completed development project using one or several OTS components. This paper reports on the versioning aspects of OTS components in such projects. We found that one third of the COTS components actually provided source code, in addition to all OSS components. However, OTS components were seldom modified (i.e. re-used "as-is"), even if source code was available. Although backward compatibility of new releases did not cause noticeable problems for a single OTS component, using several different OTS components in a project caused difficulties in maintenance planning of asynchronous releases and system integration of new releases. Several new research questions have been formulated based on the results of this study.

title: An Empirical Study of Variations in COTS-based Software Development Processes in Norwegian IT Industry

title: Validation of New Theses on Off-the-Shelf Component Based Development
abstract: Using OTS (Off-The-Shelf) components in software development has become increasingly popular in the IT industry. OTS components can be either COTS (Commercial-Off-The-Shelf), or OSS (Open-Source-Software) components. A recent study with seven structured interviews concluded with six theses, which contradicted widely accepted (or simply undisputed) insight. Since the sample size of that study was very small, it is necessary to investigate these theses in a larger and randomized sample. A state-of-the-practice survey in three countries — Norway, Italy, and Germany — has been performed to validate these new theses. Data from 133 OTS component-based projects has been collected. Results of this survey support four and contradict two of the initial theses. The supported theses are: OSS components were mainly used without modification in practice; custom code mainly provided additional functionality; formal OTS selection processes were seldom used; OTS component users managed to get required changes from vendors. The unsupported theses are: standard mismatches were more frequent than architecture mismatches; OTS components were mainly selected based on architecture compliance instead of function completeness.

title: Code-coverage guided prioritized test generation
abstract: Most automatic test generation research focuses on generation of test data from pre-selected program paths or input domains or program specifications. This paper presents a methodology for a full solution to code-coverage-based test case generation, which includes code coverage-based path selection, test data generation and actual test case representation in program's original languages. We implemented this method in an automatic testing framework, eXVantage. Experimental results and industrial trials show that the framework is able to generate tests to achieve program line coverage from 20% to 98% with reduced overall testing effort. Our major contributions include an innovative coverage-based program prioritization algorithm, a novel path selection algorithm that takes into consideration program priority and functional calling relationship, and a constraint solver for test data generation that derives constraints from bytecode and solves complex constraints involving strings and dynamic objects.

title: A source coding approach to classification by vector quantization and the principle of minimum description length
abstract: An algorithm for supervised classification using vector quantization and entropy coding is presented. The classification rule is formed from a set of training data {(X/sub i/, Y/sub i/)}/sub i=1//sup n/, which are independent samples from a joint distribution P/sub XY/. Based on the principle of minimum description length (MDL), a statistical model that approximates the distribution P/sub XY/ ought to enable efficient coding of X and Y. On the other hand, we expect a system that encodes (X, Y) efficiently to provide ample information on the distribution P/sub XY/. This information can then be used to classify X, i.e., to predict the corresponding Y based on X. To encode both X and Y, a two-stage vector quantizer is applied to X and a Huffman code is formed for Y conditioned on each quantized value of X. The optimization of the encoder is equivalent to the design of a vector quantizer with an objective function reflecting the joint penalty of quantization error and misclassification rate. This vector quantizer provides an estimation of the conditional distribution of Y given X, which in turn yields an approximation to the Bayes classification rule. This algorithm, namely discriminant vector quantization (DVQ), is compared with learning vector quantization (LVQ) and CART/sup R/ on a number of data sets. DVQ outperforms the other two on several data sets. The relation between DVQ, density estimation, and regression is also discussed.

title: Directed Self-assembly of 2-Dimensional Mesoblocks Using Top-Down/Bottom-Up Design
abstract: In this paper we present a general design methodology suitable for a class of complex multi-agent systems which are capable of self-assembly. Our methodology is based on a top-down, bottom-up approach, which has the potential to achieve a range of global design goals whilst retaining emergent behaviour somewhere in the system, and thereby allowing access to a richer solution space. Our experimental environment is a software system to model 2-dimensional self-assembly of groups of autonomous agents, where agents are defined as square smart blocks. The general design goal for such systems is to direct the self-assembly process to produce a specified structure. The potential of this design methodology has been realised by demonstrating its application to a toy problem - the self-assembly of rectangles of different sizes and shapes in a two-dimensional mesoblock environment. The design procedure shows different choices available for decomposing a system goal into subsidiary goals, as well as the steps needed to ensure a match to what is achievable from the bottom-up process. Encouraging results have been obtained, which allows mesoblock rectangles of specified size to be assembled in a directed fashion. Two different approaches to the same problem were presented, showing the flexibility of the method.

title: ECSP: An Efficient Cluster Based P2P Architecture

title: Incorporating Legacy System into Semantic Grid Framework
abstract: The semantic grid is an extension of the current grid. Resources description framework (RDF) can be used to extend the current grid into semantic grid in which information and services are given well-defined meaning. This paper proposed an approach to recognizing the reusable components from the legacy system and representing these components by using XML and RDF, which could be performed for incorporating legacy system components into the semantic grid framework