Sciweavers

2518 search results - page 265 / 504
» Using Communication Objects During Requirements Analysis
Sort
View
MICCAI
2005
Springer
16 years 7 months ago
A Velocity-Dependent Model for Needle Insertion in Soft Tissue
Models that predict the soft tissue deformation caused by needle insertion could improve the accuracy of procedures such as brachytherapy and needle biopsy. Prior work on needle in...
Jessica R. Crouch, Chad M. Schneider, Josh Wainer,...
SIGGRAPH
1998
ACM
15 years 10 months ago
Multiple-center-of-projection Images
In image-based rendering, images acquired from a scene are used to represent the scene itself. A number of reference images are required to fully represent even the simplest scene...
Paul Rademacher, Gary Bishop
FMCAD
2000
Springer
15 years 10 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
VISUALIZATION
2005
IEEE
16 years 4 days ago
Volume rendering of smoke propagation CFD data
The evacuation of buildings in the event of a fire requires careful planning of ventilation and evacuation routes during early architectural design stages. Different designs are ...
Oliver Staubli, Christian Sigg, Ronald Peikert, Ma...
WORDS
2003
IEEE
15 years 11 months ago
An Optimal Atomic Broadcast Protocol and an Implementation Framework
Atomic Broadcast (where all processes deliver broadcast messages in the same order) is a very useful group communication primitive for building fault-tolerant distributed systems....
Paul D. Ezhilchelvan, Doug Palmer, Michel Raynal