Sciweavers

1750 search results - page 40 / 350
» E-Commerce Development Procedure
Sort
View
SIGDOC
2000
ACM
15 years 10 months ago
Testing documentation with "low-tech" simulation
∗ This paper introduces low-tech simulation as a technique for testing procedures and their documentation. The key idea is to test the interface-procedure-documentation set in th...
David G. Novick
SIGSOFT
2009
ACM
16 years 6 months ago
Supporting automatic model inconsistency fixing
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song...
AIME
2009
Springer
16 years 18 days ago
Providing Objective Feedback on Skill Assessment in a Dental Surgical Training Simulator
Dental students devote several years to the acquisition of sufficient psychomotor skills to prepare them for entry-level dental practice. Traditional methods of dental surgical ski...
Phattanapon Rhienmora, Peter Haddawy, Siriwan Sueb...
ICRA
2002
IEEE
93views Robotics» more  ICRA 2002»
15 years 11 months ago
Combining Haptic and Visual Servoing for Cardiothoracic Surgery
Cardiovascular disease is one of the leading causes of death in the United States and also a major disease worldwide with over 700,000 coronary artery bypass graft (CABG) procedur...
Christopher W. Kennedy, Tie Hu, Jaydev P. Desai
RTA
1995
Springer
15 years 9 months ago
Completion for Multiple Reduction Orderings
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi