Sciweavers

1314 search results - page 71 / 263
» Validation of Object Oriented Models using Animation
Sort
View
PTS
2007
112views Hardware» more  PTS 2007»
13 years 11 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
COLCOM
2008
IEEE
14 years 5 days ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart
SIGGRAPH
1997
ACM
14 years 2 months ago
Modeling the motion of a hot, turbulent gas
This paper describes a new animation technique for modeling the turbulent rotational motion that occurs when a hot gas interacts with solid objects and the surrounding medium. The...
Nick Foster, Dimitris N. Metaxas
CA
2000
IEEE
14 years 2 months ago
Adaptive Simulation of Soft Bodies in Real-Time
This paper presents an adaptive technique to animate deformable bodies in real-time. In contrast to most previous work, we introduce a multi-resolution model that locally refines...
Gilles Debunne, Mathieu Desbrun, Marie-Paule Cani,...
CGF
2008
144views more  CGF 2008»
13 years 10 months ago
High Performance GPU-based Proximity Queries using Distance Fields
Proximity queries such as closest point computation and collision detection have many applications in computer graphics, including computer animation, physics-based modeling, augm...
T. Morvan, M. Reimers, E. Samset