881 search results - page 157 / 177 » Tool support for designing nomadic applications |
TEI
2010
ACM
14 years 2 months ago
2010
ACM
Distributed physical user interfaces comprise networked sensors, actuators and other devices attached to a variety of computers in different locations. Developing such systems is ...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
MICCAI
1999
Springer
14 years 2 days ago
1999
Springer
This paper is part of the development process of a microsurgical "cooperating" assistant. To evaluate its applicability to augment fine surgical motions, we test precisio...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
We have recently begun to see hardware support for the tabletop user interface, offering a number of new ways for humans to interact with computers. Tabletops offer great potentia...
AOSD
2011
ACM
13 years 2 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...