Sciweavers

4839 search results - page 160 / 968
» A survey of computational complexity results in systems and ...
Sort
View
BMCBI
2007
195views more  BMCBI 2007»
15 years 2 months ago
NeuroTerrain - a client-server system for browsing 3D biomedical image data sets
Background: Three dimensional biomedical image sets are becoming ubiquitous, along with the canonical atlases providing the necessary spatial context for analysis. To make full us...
Carl Gustafson, William J. Bug, Jonathan Nissanov
CONCUR
2010
Springer
15 years 3 months ago
Session Types for Access and Information Flow Control
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
Sara Capecchi, Ilaria Castellani, Mariangiola Deza...
ICRA
2010
IEEE
151views Robotics» more  ICRA 2010»
14 years 12 months ago
Design and control of motion compensation cardiac catheters
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...
Samuel B. Kesner, Robert D. Howe
SIGMETRICS
2003
ACM
130views Hardware» more  SIGMETRICS 2003»
15 years 7 months ago
Analysis of TCP's computational energy cost for mobile computing
In this paper we present results from a detailed measurement study of TCP (Transmission Control Protocol) running over a wireless link. Our primary goal was on obtaining a breakdo...
Bokyung Wang, Suresh Singh
ICARCV
2006
IEEE
230views Robotics» more  ICARCV 2006»
15 years 8 months ago
A Biometric Approach to Linux Login Access Control
— Login access control refers to securing the entry point to a computing system. The login system is responsible for this service and must provide a number of tasks, the main tas...
Adam J. Gandossi, Wanquan Liu, Ronny Tjahyadi