857 search results - page 60 / 172 » Interactive Consistency in Quasi-Asynchronous Systems |
DAC
1990
ACM
14 years 24 days ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
ECAL
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Self-replication is a fundamental property of many interesting physical, formal and biological systems, such as crystals, waves, automata, and especially forms of natural...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
The capability to support spatial perception plays an important role in developing material for astronomy education. Considering this, we developed a novel tangible user interface...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
The term immersion is widely used to describe games but it is not clear what immersion is or indeed if people are using the same word consistently. This paper describes work done ...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
In this paper, we describe an evaluation of the Palette, a presentation tool that was reported at CHI '99. The Palette allows presenters to quickly access digital presentatio...