Sciweavers

1949 search results - page 125 / 390
» Protective Interface Specifications
Sort
View
CHI
2010
ACM
14 years 3 months ago
BioTISCH: the interactive molecular biology lab bench
In a molecular biology lab, scientists often need to execute strictly defined sequences of operations, typically mixing specific amounts of reagents. The exact steps require infor...
Florian Echtler, Maximilian Häussler, Gudrun ...
ICSM
2002
IEEE
14 years 3 months ago
From Legacy to Web through Interaction Modeling
In the context of the CelLEST project, we have been investigating the problem of reengineering and reusing the services provided by legacy applications, running on mainframe hosts...
Eleni Stroulia, Mohammad El-Ramly, Paul G. Sorenso...
ACMDIS
2004
ACM
14 years 3 months ago
Intimate objects
We present a preliminary and ongoing study into intimate objects: technological devices for maintaining intimacy at a distance. We use the notion of critical technical practice to...
Joseph Kaye, Liz Goulding
ASYNC
2001
IEEE
164views Hardware» more  ASYNC 2001»
14 years 1 months ago
Synthesis and Implementation of a Signal-Type Asynchronous Data Communication Mechanism
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
Alexandre Yakovlev, Fei Xia, Delong Shang
DAC
1997
ACM
14 years 1 months ago
Formal Verification of a Superscalar Execution Unit
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
Kyle L. Nelson, Alok Jain, Randal E. Bryant