by Wolfgang Andreas Klimke., Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 2001., Includes bibliographical references.

by Brian D. Carlstrom., Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, February 2001., Includes bibliographical references (p. 171-176)., This electronic version was submitted by the student author. The certified thesis is available in the Institute…

Over the past several years, the explosive growth of biological data generated by new high-throughput instruments has virtually begun to drown the biological community. There is no established infrastructure to deal with these data in a consistent and successful fashion.…

In the manufacturing industry out-sourcing/integration is becoming an important business pattern (not a clear statement-integration still done in house-component design and manufacturing outsourced). An engineering system often consists of many subsystems supplied by different companies. Bridge between thoughts is weak.…

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…

Feature modelling is a key technique for identifying common and variable features in software (software families). The result of feature modelling is a feature model: a concise specification of product features and their relationships. Feature models have been proven to…

Descripción completa.

Descripción completa.

Descripción completa.

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…