3281 search results - page 50 / 657 » An Approach to use Executable Models for Testing |
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
TSP
2010
13 years 3 months ago
2010
An operational framework is developed for testing stationarity relatively to an observation scale, in both stochastic and deterministic contexts. The proposed method is based on a ...
ANSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Anomaly detection systems largely depend on user profile data to be able to detect deviation from normal activity. Most of this profile data is based on commands executed by use...
SBRN
2008
IEEE
14 years 3 months ago
2008
IEEE
In this work, we propose to use the Zoomed-Ranking approach to ranking and selecting Artificial Neural Network (ANN) models for time series forecasting. Given a time series to fo...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...