Abstract. This work describes schemes for distributing between n servers the evaluation of a function f which is an approximation to a random function, such that only authorized su...
Abstract. This paper presents DAOS, a model for exploitation of Andand Or-parallelism in logic programs. DAOS assumes a physically distributed memory environment and a logically sh...
Navigation and interaction in virtual environments that use stereoscopic head-tracked displays and have very large data sets present several challenges beyond those encountered wi...
Zachary Wartell, William Ribarsky, Larry F. Hodges
1 Assurance has been defined as "the degree of confidence that security needs are satisfied"[2]. The problem with this definition is that, unless one has a way to specify...
Abstract. In this paper the use of a heart-tracking hand support is proposed to allow coronary artery bypass grafting surgery to take place on the beating heart. This method elimin...
Ana Luisa Trejos, S. E. Salcudean, F. Sassani, Sam...