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 ...
详细信息
This paper presents a vehicle detection algorithm. We compute fuzzy integrals based on the evidence gathered. We have carried out extensive experiments. For all vehicles in the images, including the ones partially occ...
详细信息
ISBN:
(纸本)078037293X
This paper presents a vehicle detection algorithm. We compute fuzzy integrals based on the evidence gathered. We have carried out extensive experiments. For all vehicles in the images, including the ones partially occluded and cut off at the image boundary, we are able to achieve a detection rate of 80% comparing with only 13% in our previous systems. For the vehicles that are almost completely visible, the detection rate was 90%.
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.
UQ* is an evolving generic language-based environment for manipulation of structured documents. The environment is intended to capture both syntactic and relational structure within and between documents and to suppor...
详细信息
ISBN:
(纸本)0769509819
UQ* is an evolving generic language-based environment for manipulation of structured documents. The environment is intended to capture both syntactic and relational structure within and between documents and to support user interaction via both textual and diagrammatic views. This paper illustrates the innovative features of the environment description language used to instantiate a UQ* environment.
Test suite reduction aims at generating representative sets defined as subsets of a test suite that satisfy the same test objective. There are various types of representative *** ose representative sets without redund...
详细信息
This position paper is a follow-up paper of [1], presented at the last IRTAW workshop. The paper describes a model for providing transaction support for concurrent programming languages such as Ada 95. In order to ach...
详细信息
ISBN:
(纸本)9781450373272
This position paper is a follow-up paper of [1], presented at the last IRTAW workshop. The paper describes a model for providing transaction support for concurrent programming languages such as Ada 95. In order to achieve smooth integration, the use of the concurrency features provided by the Ada language should not be restricted inside a transaction. A transaction model that meets this requirement is presented- Tasks inside such a transaction may spawn new tasks, but also external tasks are allowed to join an ongoing transaction. A blocking commit protocol ensures that no task leaves the transaction before its outcome has been determined. Exceptions are used to inform all participants in case a transaction aborts. Possible interfaces for the Ado programmer are discussed.
Before designing safety- or mission-critical real-time systems, a specification of the required behaviour of the system should be produced and reviewed by domain experts. After the system has been implemented, it shou...
详细信息
ISBN:
(纸本)1581132662
Before designing safety- or mission-critical real-time systems, a specification of the required behaviour of the system should be produced and reviewed by domain experts. After the system has been implemented, it should be thoroughly tested to ensure that it behaves correctly. This is best done using a monitor, a system that observes the behaviour of a target system and reports if that behaviour is consistent with the requirements. Such a monitor can be used both as an oracle during testing and as a supervisor during operation. Monitors should be based on the documented requirements of the system. If the target system is required to monitor or control real-valued quantities, then the requirements, which are expressed in terms of the monitored and controlled quantities, will allow a range of behaviours to account for errors and imprecision in observation and control of these quantities. Even if the controlled variables are discrete valued, the requirements must specify the timing tolerance. Because of the limitations of the devices used by the monitor to observe the environmental quantities, there is unavoidable potential for false reports, both negative and positive. This paper discusses design of monitors for real-time systems, and examines the conditions under which a monitor will produce false reports. We describe the conclusions that can be drawn when using a monitor to observe system behaviour.
Many interesting research challenges await the paradigm shift in the relationship between humans and computers. This article highlights those challenges from two distinct perspectives: human-centered;and technology-ce...
详细信息
Many interesting research challenges await the paradigm shift in the relationship between humans and computers. This article highlights those challenges from two distinct perspectives: human-centered;and technology-centered. It also discusses findings from breakout discussions representing these two perspectives.
This paper reports on an on-going project undertaken within the University of Rome at Tor Vergata to automate the business processes of a class of administrative organizations. The experience gained and the lessons le...
暂无评论