Balancing generality and specificity in component-based reuse

For a component industry to be successful, we must move beyond the current techniques of black box reuse and genericity to a more flexible framework supporting customization of components as well as instantiation and composition of components. Customization of components strikes a balanced between creating dozens of variations of a base component and requiring the overhead of unnecessary features of an 'everything but the kitchen sink' component. We argue that design and instantiation of reusable components have competing criteria - design-for-use strives for generality, design-with-reuse strives for specificity - and that providing mechanisms for each can be complementary rather than antagonistic. In particular, we demonstrate how program slicing techniques can be applied to customization of reusable components

Remote sensor digital image data analysis using the General Electric Image 100 analysis system (a study of analysis speed, cost, and performance)

The author has identified the following significant results. It was found that the high speed man machine interaction capability is a distinct advantage of the image 100; however, the small size of the digital computer in the system is a definite limitation. The system can be highly useful in an analysis mode in which it complements a large general purpose computer. The image 100 was found to be extremely valuable in the analysis of aircraft MSS data where the spatial resolution begins to approach photographic quality and the analyst can exercise interpretation judgements and readily interact with the machine

Object linking in repositories

This topic is covered in three sections. The first section explores some of the architectural ramifications of extending the Eichmann/Atkins lattice-based classification scheme to encompass the assets of the full life cycle of software development. A model is considered that provides explicit links between objects in addition to the edges connecting classification vertices in the standard lattice. The second section gives a description of the efforts to implement the repository architecture using a commercially available object-oriented database management system. Some of the features of this implementation are described, and some of the next steps to be taken to produce a working prototype of the repository are pointed out. In the final section, it is argued that design and instantiation of reusable components have competing criteria (design-for-reuse strives for generality, design-with-reuse strives for specificity) and that providing mechanisms for each can be complementary rather than antagonistic. In particular, it is demonstrated how program slicing techniques can be applied to customization of reusable components

A Story of Parametric Trace Slicing, Garbage and Static Analysis

This paper presents a proposal (story) of how statically detecting unreachable objects (in Java) could be used to improve a particular runtime verification approach (for Java), namely parametric trace slicing. Monitoring algorithms for parametric trace slicing depend on garbage collection to (i) cleanup data-structures storing monitored objects, ensuring they do not become unmanageably large, and (ii) anticipate the violation of (non-safety) properties that cannot be satisfied as a monitored object can no longer appear later in the trace. The proposal is that both usages can be improved by making the unreachability of monitored objects explicit in the parametric property and statically introducing additional instrumentation points generating related events. The ideas presented in this paper are still exploratory and the intention is to integrate the described techniques into the MarQ monitoring tool for quantified event automata.Comment: In Proceedings PrePost 2017, arXiv:1708.0688

Hyperbolicity of the Kidder-Scheel-Teukolsky formulation of Einstein's equations coupled to a modified Bona-Masso slicing condition

We show that the Kidder-Scheel-Teukolsky family of hyperbolic formulations of the 3+1 evolution equations of general relativity remains hyperbolic when coupled to a recently proposed modified version of the Bona-Masso slicing condition.Comment: 4 pages. Several changes. Main corrections are in eqs. 4.9 and 4.1

Asymptotically AdS brane black holes

We study the possibility of having a static, asymptotically AdS black hole localized on a braneworld with matter fields, within the framework of the Randall and Sundrum scenario. We attempt to look for such a brane black hole configuration by slicing a given bulk spacetime and taking Z_2 symmetry about the slices. We find that such configurations are possible, and as an explicit example, we provide a family of asymptotically AdS brane black hole solutions for which both the bulk and brane metrics are regular on and outside the black hole horizon and brane matter fields are realistic in the sense that the dominant energy condition is satisfied. We also find that our braneworld models exhibit signature change inside the black hole horizon.Comment: 21 pages, 6 figures, RevTex; v2: clarifications added, figures updated, eq.31 corrected, comment on small four dimensional cosmological constant limit added, character size increased, results unchanged. v3: reference added, version accepted in Phys. Rev. D (2006