This paper explains our approach to building knowledgebased information agents. Instead of building an agent from scratch, we advocate building an agent by adding knowledge to a framework. Knowledge is classified into...
详细信息
As e-business is invading the service industry and the public sector, there is a need for a service-flow management of those processes, which consist of a sequence of interrelated sub-services. Making use of the poten...
详细信息
Product instantiation is one of the less frequently studied activities in the domain of software product lines. In this paper, we present the results of a case study at Axis Communication AB on product instantiation i...
详细信息
Validated methods for initial value problems for ordinary differential equations produce bounds that are guaranteed to contain the true solution of a problem. When computing such bounds, these methods verify that a un...
详细信息
Validated methods for initial value problems for ordinary differential equations produce bounds that are guaranteed to contain the true solution of a problem. When computing such bounds, these methods verify that a unique solution to the problem exists in the interval of integration and compute a priori bounds for the solution in this interval. A major difficulty in this verification phase is how to take as large a stepsize as possible, subject to some tolerance requirement. We propose a high-order enclosure method for proving existence and uniqueness of the solution and computing a priori bounds.
The authors discuss the notion of variability. We have experienced that this concept has so far been underdefined, although we have observed that variability techniques become increasingly important. A clear indicatio...
详细信息
The authors discuss the notion of variability. We have experienced that this concept has so far been underdefined, although we have observed that variability techniques become increasingly important. A clear indication of this trend is the recent emergence of software product lines. software product lines are large, industrial software systems intended to specialize into specific software products. The authors provide a framework of terminology and concepts regarding variability. In addition, they present three recurring patterns of variability. Finally, they suggest a method for managing variability in software product lines.
We present a hierarchical method that decomposes a system into two subsystems, and restricts the interaction of the subsystems by means of an interface. We present a definition for an interface, and define a set of in...
详细信息
ISBN:
(纸本)0780370619
We present a hierarchical method that decomposes a system into two subsystems, and restricts the interaction of the subsystems by means of an interface. We present a definition for an interface, and define a set of interface consistency properties that can be used to verify if a discrete-event system is nonblocking and controllable. Each clause of the definition can be verified using only one of the two subsystems; thus the complete system model never needs to be constructed, offering significant savings in computational effort. Additionally, the development of clean interfaces facilitates re-use of the component subsystems.
Two-element adaptive antenna and associated multi-element antenna systems are examined under a unique test-bed which can generate effects similar to terrestrial and low Earth orbit (LEO) satellite environments. The re...
详细信息
Two-element adaptive antenna and associated multi-element antenna systems are examined under a unique test-bed which can generate effects similar to terrestrial and low Earth orbit (LEO) satellite environments. The results show that the adaptive antenna and associated systems can effectively reduce errors even if the experimental environments include human body influence and incoming signals at high elevation angles.
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented. Then the design of the framework is ...
详细信息
software product lines have numerous members. Thus, a product line infrastructure must cover various systems. This is the significant difference to usual software systems and the reason for additional requirements on ...
详细信息
ISBN:
(纸本)1581133588
software product lines have numerous members. Thus, a product line infrastructure must cover various systems. This is the significant difference to usual software systems and the reason for additional requirements on the various assets present during software product line engineering. It is imperative that they support the description of the product line as a whole, as well as its instantiation for the derivation of individual products.
Literature has already addressed how to create and instantiate generic product line assets, such as domain models and architectures to generate instance specific ones [1, 2, 3], yet little attention has been given on how to actually deal with this genericity at the code level.
This paper addresses the issue of handling product line variability at the code level. To this end various implementation approaches are examined with respect to their use in a product line context.
The paper outlines two image enhancement operators for gray scale and color images. A modified cosine function was developed for image enhancement, in which some enhanced images may appear a little darker if the avera...
详细信息
The paper outlines two image enhancement operators for gray scale and color images. A modified cosine function was developed for image enhancement, in which some enhanced images may appear a little darker if the average pixel value in the image generally falls below the intermediate value (which is 128 in most images used in the experiments (256 gray-level)). A Semi-Histogram-Equalization (SHE) method is then proposed for enhancement so that regardless of how dark or bright the image is, it would give a good contrast enhancement. Experimental results show that the proposed operators can enhance gray scale and color images effectively.
暂无评论