Learn More
The MOF 2.0 Query/Views/Transformations (QVT) goal is to provide a standard for expressing model transformations. Techniques and technologies that support the rigorous definition and application of model transformations are required to realize the Model Driven Architecture (MDA) vision. In this paper, we describe an approach to rigorous modeling of(More)
We report the isolation of two mutations in the gyrB gene of Escherichia coli K12 obtained from an initial selection for resistance to coumermycin A1 and a subsequent screening for bacteria that fail to support site-specific recombination of phage lambda, i.e., Him-. These two mutations have a temperature-sensitive Him- phenotype, supporting site-specific(More)
The activity of reengineering and maintaining large legacy systems involves the use of design recovery techniques to produce abstractions that facilitate the understanding of the system. In this paper, we present an approach to design recovery based on data mining. This approach derives from the observation that data mining can discover unsuspected(More)
Numerous challenges currently face digital forensic analysis. Although a variety of techniques and tools exist to assist with the analysis of digital evidence, they inadequately address key problems. We consider the applicability and usefulness of weaving ontologies to address some of these problems. We introduce an ontological approach leading to future(More)
Coliphage lambda gene expression is regulated temporally by systems of termination and antitermination of transcription. The lambda-encoded N protein (pN) acting with host factors (Nus) at sites (nut) located downstream from early promoters is the first of these systems to operate during phage development. We report observations on some of the components of(More)
We have constructed Escherichia coli strains containing mutations at two different loci, both originally selected for failure to support lambda site-specific recombination: himA and gyrB-him(Ts). Although the gyrB-him(Ts) mutations by themselves reduce supercoiling at high temperature, the double mutants show a far greater effect on supercoiling. Our(More)