Sciweavers

1054 search results - page 49 / 211
» Model Transformations in the Model-Based Development of Real...
Sort
View
PTS
2007
112views Hardware» more  PTS 2007»
13 years 10 months ago
Symbolic Model Based Testing for Component Oriented Systems
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
Alain Faivre, Christophe Gaston, Pascale Le Gall
ECBS
2010
IEEE
200views Hardware» more  ECBS 2010»
13 years 6 months ago
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
Sebastian Wieczorek, Alin Stefanescu
PRL
2007
163views more  PRL 2007»
13 years 8 months ago
A model based approach for pose estimation and rotation invariant object matching
Pose estimation has been considered to be an important component in many pattern recognition and computer vision systems. In this paper, we introduce a pose estimation method base...
Cem Ünsalan
IWSAS
2001
Springer
14 years 1 months ago
Model-Based Diagnosis for Information Survivability
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
Howard E. Shrobe
ECBS
2007
IEEE
111views Hardware» more  ECBS 2007»
14 years 3 months ago
Model-Based Empirical Performance Evaluation Based on Relational Traces
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
Marko Boskovic