8623 search results - page 1622 / 1725 » Software engineering for secure systems |
UIST
2004
ACM
14 years 2 months ago
2004
ACM
We present content-aware free-space transparency, an approach to viewing and manipulating the otherwise hidden content of obscured windows through unimportant regions of overlappi...
UIST
2004
ACM
14 years 2 months ago
2004
ACM
Visual tracking of bare fingers allows more direct manipulation of digital objects, multiple simultaneous users interacting with their two hands, and permits the interaction on l...
UIST
2004
ACM
14 years 2 months ago
2004
ACM
In this paper, we describe the YeTi information sharing system that has been designed to foster community building through informal digital content sharing. The YeTi system is a g...
ARCS
2004
Springer
14 years 2 months ago
2004
Springer
Cryptographic methods are widely used within networking and digital rights management. Numerous algorithms exist, e.g. spanning VPNs or distributing sensitive data over a shared ne...
ICFEM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...