17,351 research outputs found
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
- …