Sciweavers

8624 search results - page 1346 / 1725
» Designing example-critiquing interaction
Sort
View
ICCAD
2008
IEEE
140views Hardware» more  ICCAD 2008»
16 years 3 months ago
Correct-by-construction microarchitectural pipelining
— This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines pre...
Timothy Kam, Michael Kishinevsky, Jordi Cortadella...
TCC
2010
Springer
208views Cryptology» more  TCC 2010»
16 years 3 months ago
Rationality in the Full-Information Model
We study rationality in protocol design for the full-information model, a model characterized by computationally unbounded adversaries, no private communication, and no simultanei...
Ronen Gradwohl
CSCW
2010
ACM
16 years 3 months ago
Social use of computer-mediated communication by adults on the autism spectrum
The defining characteristics of autism, including difficulty with nonverbal cues and need for structure, and the defining characteristics of computer-mediated communication (CMC),...
Moira Burke, Robert Kraut, Diane Williams
TEI
2010
ACM
960views Hardware» more  TEI 2010»
16 years 1 months ago
Anxiety of patients in the waiting room of the emergency department
This study aims at understanding the patient’s experience in the waiting room of the emergency department. The research explores and unveils the context and interactions in the ...
JungKyoon Yoon, Marieke Sonneveld
EDBTW
2010
Springer
16 years 1 months ago
Biochemical network matching and composition
Graph composition has applications in a variety of practical applications. In drug development, for instance, in order to understand possible drug interactions, one has to merge k...
Martin Hugh Goodfellow, John Wilson, Ela Hunt
« Prev « First page 1346 / 1725 Last » Next »