Feature-oriented programming is a paradigm to develop software product lines, in which products can be generated by composing feature modules. Design by contract is a development methodology, in which methods are specified by annotating them with contracts. Researchers propose to use such contracts to specify feature modules in order to perform different product-line analysis-techniques such as...

In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to merge code pieces belonging to different features. The advent of model-driven development raises the question of how to support the variability of software product lines in modeling techniques. We propose to use superimp...

In this article we continue our analysis of Schrödinger operators on arbitrary graphs given as certain Laplace operators. In the present paper we give the proof of the composition rule for the scattering matrices. This composition rule gives the scattering matrix of a graph as a generalized star product of the scattering matrices corresponding to its subgraphs. We perform a detailed analysis of...

Given two compact, simply connected manifolds with boundary, and a navigation function (NF) on each manifold, this paper presents a simple composition law that yields a new NF on the cross product space. The method provides tunable “hooks” for shaping the new potential function while still guaranteeing obstacle avoidance and essentially global convergence. The composition law is associative, an...

Software product lines enable developers to derive similar products from a common code base. Existing implementation techniques can be categorized as composition-based and annotation-based, with both approaches promising complementary benefits. However, annotation-based approaches are commonly used in practice despite composition allowing physical separation of features and, thus, improving tra...

Over the past two decades, many biotechnology platforms have been developed for high-throughput gene expression profiling. However, because each platform is subject to technology-specific biases and produces distinct raw-data distributions, researchers have experienced difficulty in integrating data across platforms. Data integration is crucial to data-generating consortiums, researchers transi...

The effect of storage on the chemical, microbiological, and sensory properties of cassava starch-based custard powder (CbCP) blends as mixture of yellow-fleshed cassava root starch (YfCRS) (90-98%) and whole egg powder (WEP) (2-10%) was investigated. These were prepared using central composite rotatable design, and separately packaged in polyvinyl chloride plastic can and stored in storage box ...

TCP is the de facto transport protocol of the Internet, but its shortcomings in the large bandwidth and large latency networks is well documented. We create a set of benchmarks for protocols designed for the large bandwidth-delay product networks. By using the benchmarks to evaluate the leading protocols in network environments that vary in their bandwidth and latency, we found that each protoc...

UNLABELLED Insufficient calcium intake has been proposed to cause unbalanced energy partitioning leading to obesity. However, weight loss interventions including dietary calcium or dairy product consumption have not reported changes in lipid metabolism measured by the plasma lipidome. METHODS The objective of this study was to determine the relationships between dairy product or supplemental ...