Sciweavers

3281 search results - page 107 / 657
» An Approach to use Executable Models for Testing
Sort
View
ICRA
2005
IEEE
105views Robotics» more  ICRA 2005»
15 years 8 months ago
A New Approach to the Use of Edge Extremities for Model-based Object Tracking
— This paper presents a robust model-based visual tracking algorithm that can give accurate 3D pose of a rigid object. Our tracking algorithm uses an incremental pose update sche...
Youngrock Yoon, Akio Kosaka, Jae Byung Park, Avina...
128
Voted
ANSOFT
2002
94views more  ANSOFT 2002»
15 years 2 months ago
Testing Processes of Web Applications
Abstract. Current practice in Web application development is based on the skills of the individual programmers and often does not apply the principles of software engineering. The ...
Filippo Ricca, Paolo Tonella
ASE
2005
91views more  ASE 2005»
15 years 2 months ago
Deviation Analysis: A New Use of Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...
JOT
2007
123views more  JOT 2007»
15 years 2 months ago
Towards a Tool Supporting Integration Testing of Aspect-Oriented Programs
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
Philippe Massicotte, Linda Badri, Mourad Badri
117
Voted
FIW
2007
15 years 4 months ago
Model Inference Approach for Detecting Feature Interactions in Integrated Systems
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
Muzammil Shahbaz, Benoît Parreaux, Francis K...