Under-resourced automatic speech recognition (ASR) has become an active field of research and has experienced significant progress during the past decade. However, the performance of under-resourced ASR trained by exi...
详细信息
Software product lines, usually described using feature models, have proven to be a feasible solution to develop mobile and context-aware applications. These applications use con- text information to provide services ...
详细信息
ISBN:
(纸本)9781450313094
Software product lines, usually described using feature models, have proven to be a feasible solution to develop mobile and context-aware applications. These applications use con- text information to provide services and data for their users from anywhere and at any time. However, building feature models for mobile and context-aware software product lines demands advanced skills of software engineers, since it comprises system and context information. Moreover, to guarantee a correct application execution, these models must be thoroughly specified, composed and verified to check whether some composition and adaptation rules are violated. Although this is an important task, there is a lack of formalization of such rules, which makes it difficult to use those rules for feature models verification. In this paper, we propose an approach to prevent defects in context-aware feature models and in their product reconfiguration based on formal methods. To validate our work, we developed a prototype to check the correctness of context-aware feature models. Copyright 2012 ACM.
Mathematical models are often used in system identification applications. The dynamics of most systems, however, change over time and the sources of these changes cannot always be directly determined or measured. To m...
详细信息
Recurrent Neural Networks (RNNs) are commonly used in data-driven approaches to estimate the Remaining Useful Lifetime (RUL) of power electronic devices. RNNs are preferred because their intrinsic feedback mechanisms ...
详细信息
This research examines U.S. electric utilities' transition from closed to open systems, while taking steps towards market orientation and subsequent changes in their product portfolios. It lists the reasons drivin...
详细信息
ISBN:
(纸本)9781618393616
This research examines U.S. electric utilities' transition from closed to open systems, while taking steps towards market orientation and subsequent changes in their product portfolios. It lists the reasons driving this change and includes a detailed analysis of the current product portfolios of the U.S. utilities focusing on adding more renewable energy sources. Copyright, American Society for engineering Management, 2011.
Software quality assurance is a crucial process that ensures software products meet specified requirements and quality standards. Achieving an exhaustive test coverage is essential for quality assurance, particularly ...
详细信息
We have proposed a checklist-based usability inspection technique (WDP - Web Design Perspectives-Based Usability Evaluation) specific for Web applications' usability evaluation and we are following an experimentat...
详细信息
BPMN 2.0 is a widely used notation to model business process that has associated tools and techniques to facilitate process management, execution and monitoring. As a result using BPMN to model Software Development Pr...
详细信息
The Broadband Wireless Access (BWA) technology has been proposed to support different traffic classes with distinct quality of service (QoS) requirements in broadband metropolitan area networks. Therefore, as part of ...
详细信息
暂无评论