4099 search results - page 129 / 820 » A Framework for Interactive Proof |
SRDS
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose and evaluate a novel framework for enforcing global coordination and control policies over interacting software components in enterprise computing environments. This fra...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we describe a series of techniques for building sensors, actuators and circuit boards that behave, look, and feel like paper. By embedding electro-active inks, condu...
ISMAR
2006
IEEE
15 years 4 months ago
2006
IEEE
Transitional Interfaces have emerged as a new way to interact and collaborate between different interaction spaces such as Reality, Virtual Reality and Augmented Reality. In this ...
COOPIS
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper demonstrates that work in digital enterprises—like work in conventional enterprises— can be carried out effectively by autonomous agents, subject to a regulatory r...
ENTCS
2008
14 years 10 months ago
2008
Abstract. The biologist R. Thomas has enounced a rule relating multistationnarity in a system of genes interacting in a single cell to the existence of a positive circuit in the re...