Sciweavers

3168 search results - page 64 / 634
» Design, implementation and evaluation of a virtual storage s...
Sort
View
CCS
2005
ACM
15 years 11 months ago
Formal security analysis of basic network-attached storage
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
Avik Chaudhuri, Martín Abadi
TCIAIG
2010
15 years 21 days ago
Cinematic Visual Discourse: Representation, Generation, and Evaluation
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
Arnav Jhala, R. Michael Young
APPINF
2003
15 years 7 months ago
A Comparison of Two Different Java Technologies to Implement a Mobile Agent System
This paper describes an evaluation of the two technologies Aglets from IBM Japan and JavaSpaces from Sun Microsystems used to implement the same mobile agent system. The Aglets fr...
Alf Inge Wang, Carl-Fredrik Sørensen
SENSYS
2006
ACM
15 years 12 months ago
Virtual high-resolution for sensor networks
The resolution at which a sensor network collects data is a crucial parameter of performance since it governs the range of applications that are feasible to be developed using tha...
Aman Kansal, William J. Kaiser, Gregory J. Pottie,...
ISMAR
2007
IEEE
16 years 7 days ago
Laparoscopic Virtual Mirror for Understanding Vessel Structure Evaluation Study by Twelve Surgeons
In this paper we present the evaluation of a virtual mirror used as a navigational tool within a medical augmented reality (AR) system for laparoscopy. 12 surgeons of our clinical...
Christoph Bichlmeier, Sandro Michael Heining, Moha...