Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
This paper reports the development of a robotic system designed to extend a human’s ability to perform small-scale (sub-millimeter) manipulation tasks requiring human judgement, ...
Russell H. Taylor, Patrick S. Jensen, Louis L. Whi...
In a study of crew interaction with the automatic flight control system of the Boeing 757/767 aircraft, we observed 60 flights and recorded every change in the aircraft control mo...
During emergency response events, situational awareness is critical in effectively managing and safe-guarding civilians and in-field personnel. To better support both command cent...
SungYe Kim, Ross Maciejewski, Karl Ostmo, Edward J...