1052 search results - page 62 / 211 » SUIDT: safe user interface design tool |
FORTE
2011
13 years 2 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
AVI
2008
14 years 1 months ago
2008
In this paper we investigate tangible interaction on interactive tabletops. These afford the support and integration of physical artefacts for the manipulation of digital media. T...
CSFW
1995
IEEE
14 years 2 months ago
1995
IEEE
Powerful applications can be implemented using command scripts. A command script is a program written by one user, called a writer, and made available to another user, called the ...
IROS
2008
IEEE
14 years 5 months ago
2008
IEEE
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...
AVI
2008
14 years 1 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...