Sciweavers

3031 search results - page 251 / 607
» Model Driven Testing Based on Test History
Sort
View
USS
2008
15 years 7 months ago
Experiences with Model Inference Assisted Fuzzing
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
Joachim Viide, Aki Helin, Marko Laakso, Pekka Piet...
AIED
2009
Springer
15 years 11 months ago
Handling Uncertainty and Multiple Perspectives for Learner Modeling by Cognitive Mapping
This research deals with two issues for learner modeling: uncertainty and multiple perspectives. Hence, it proposes a process called cognitive mapping to acquire and describe objec...
Alejandro Peña Ayala
GMP
2008
IEEE
142views Solid Modeling» more  GMP 2008»
15 years 11 months ago
Deformation and Smooth Joining of Mesh Models for Cardiac Surgical Simulation
Abstract. This paper focuses on an important aspect of cardiac surgical simulation, which is the deformation of mesh models to form smooth joins between them. A novel algorithm bas...
Hao Li, Wee Kheng Leow, Ing-Sh Chiu, Shu-Chien Hua...
ICRA
2007
IEEE
208views Robotics» more  ICRA 2007»
15 years 11 months ago
A Hybrid Motion Model for Aiding State Estimation in Dynamic Quadrupedal Locomotion
— Trotting and galloping allow a quadruped to rapidly traverse rough terrain. Modeling this motion, which is only dynamically stable, is of importance for legged robot operation ...
Surya P. N. Singh, Kenneth J. Waldron
ESCIENCE
2006
IEEE
15 years 11 months ago
An Extended Extremal Optimisation Model for Parallel Architectures
: A relatively new meta-heuristic, known as extremal optimisation (EO), is based on the evolutionary science notion that poorly performing genes of an individual are replaced by ra...
Marcus Randall, Andrew Lewis