Sciweavers

663 search results - page 99 / 133
» Synthesis of Self-Testable Controllers
Sort
View
79
Voted
NIME
2004
Springer
114views Music» more  NIME 2004»
15 years 7 months ago
Tree Music: Composing with GAIA
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
Judith Shatin, David Topper
DATE
2003
IEEE
118views Hardware» more  DATE 2003»
15 years 7 months ago
Multi-Granularity Metrics for the Era of Strongly Personalized SOCs
This paper details the first step of the Design Trotter framework for design space exploration applied to dedicated SOCs. The aim of this step is to provide metrics in order to gu...
Yannick Le Moullec, Nahla Ben Amor, Jean-Philippe ...
CHI
1993
ACM
15 years 6 months ago
Synthesizing auditory icons
Auditory icons add valuable functionality to computer interfaces, particularly when they are parameterized to convey dimensional information. They are difficult to create and mani...
William W. Gaver
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
15 years 5 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
RBAC
1998
84views more  RBAC 1998»
15 years 3 months ago
Decentralized User-role Assignment for Web-based Intranets
The intricacy of security administration is one of the most challenging problems in large networked systems. This problem is especially serious in the Web environment, which consi...
Ravi S. Sandhu, Joon S. Park