Sciweavers

3856 search results - page 31 / 772
» Models for Automated Earthmoving
Sort
View
VAMOS
2007
Springer
14 years 4 months ago
FAMA: Tooling a Framework for the Automated Analysis of Feature Models
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
David Benavides, Sergio Segura, Pablo Trinidad, An...
SPLC
2008
13 years 11 months ago
Automated Analysis of Feature Models Using Atomic Sets
Scalability is recognized as a key challenge in the automated analysis of Feature Models (FMs). Current solutions in this context mainly propose using different logic paradigms as...
Sergio Segura
CAISE
2006
Springer
14 years 1 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
IFIP13
2004
13 years 11 months ago
A Sampling Model to Ascertain Automation-Induced Complacency in Multi-Task Environments
: This article discusses the development of a model that defines the optimal sampling behaviour of operators in a multi-task flight simulation, where one of the tasks is automated....
Nasrine Bagheri, Greg A. Jamieson
CAEPIA
2003
Springer
14 years 1 months ago
Employing TSK Fuzzy Models to Automate the Revision Stage of a CBR System
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
Florentino Fernández Riverola, Juan M. Corc...