Sciweavers

1314 search results - page 40 / 263
» Validation of Object Oriented Models using Animation
Sort
View
CODES
1999
IEEE
13 years 12 months ago
A unified formal model of ISA and FSMD
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
Jianwen Zhu, Daniel Gajski
HICSS
2003
IEEE
105views Biometrics» more  HICSS 2003»
14 years 27 days ago
Experimental Validation of Multidimensional Data Models Metrics
Multidimensional data models are playing an increasingly prominent role in support of day-to-day business decisions. Due to their significance in taking strategic decisions it is ...
Manuel A. Serrano, Coral Calero, Mario Piattini
EWC
2007
102views more  EWC 2007»
13 years 7 months ago
Interactive collision detection in three-dimensional visualizations of simulated construction operations
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable con...
Vineet R. Kamat, Julio C. Martínez
SCA
2007
13 years 10 months ago
Harmonic skeleton for realistic character animation
Current approaches to skeleton generation are based on topological and geometrical information only; this can be insufficient for realistic character animation, since the location...
Grégoire Aujay, Franck Hétroy, Franc...
DSVIS
1997
Springer
13 years 11 months ago
DMVIS: Design, Modelling and Validation of Interactive Systems
Much of the work reported in the first three DSVIS conferences has concentrated on techniques and languages for specifying and developing interactive systems. In this paper, we ar...
Robert E. Fields, Nicholas A. Merriam, Andrew M. D...