Sciweavers

1314 search results - page 50 / 263
» Validation of Object Oriented Models using Animation
Sort
View
FMOODS
2008
13 years 9 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
IDEAS
1999
IEEE
134views Database» more  IDEAS 1999»
13 years 12 months ago
The EyeDB OODBMS
This paper introduces the EYEDB Object Oriented DataBase Management System (OODBMS). EYEDB implements all the standard features of OODBMS, is language oriented, provides a generic...
Eric Viara, Emmanuel Barillot, Guy Vaysseix
GECCO
2007
Springer
300views Optimization» more  GECCO 2007»
14 years 1 months ago
A NSGA-II, web-enabled, parallel optimization framework for NLP and MINLP
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
David J. Powell, Joel K. Hollingsworth
CGF
1998
213views more  CGF 1998»
13 years 7 months ago
Interactive Construction and Animation of Layered Elastically Deformable Characters
An interactive system is described for creating and animating deformable 3D characters. By using a hybrid layered model of kinematic and physics-based components together with an ...
Russell Turner, Enrico Gobbetti
AES
2008
Springer
97views Cryptology» more  AES 2008»
13 years 7 months ago
Software mechanisms for extensible and scalable 3D visualization of construction operations
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
Vineet R. Kamat, Julio C. Martínez