Sciweavers

1661 search results - page 7 / 333
» Real-time specification patterns
Sort
View
CBMS
2006
IEEE
15 years 12 months ago
Real-Time Simulation and Visualization of Subject-Specific 3D Lung Dynamics
In this paper we discuss a framework for modeling the 3D lung dynamics of normal and diseased human subjects and visualizing them using an Augmented Reality (AR) based environment...
Anand P. Santhanam, Cali M. Fidopiastis, Paul Dave...
136
Voted
FM
1999
Springer
114views Formal Methods» more  FM 1999»
15 years 10 months ago
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
Richard F. Paige, Eric C. R. Hehner