Sciweavers

3611 search results - page 231 / 723
» Computer Supported Collaborative Research
Sort
View
GROUP
2007
ACM
15 years 10 months ago
Unpacking the social dimension of external interruptions
The paper systematically explores the social dimension of external interruptions of human activities. Interruptions and interruption handling are key issues in human-computer inte...
Rikard Harr, Victor Kaptelinin
BMCBI
2005
103views more  BMCBI 2005»
15 years 6 months ago
MicroGen: a MIAME compliant web system for microarray experiment information and workflow management
Background: Improvements of bio-nano-technologies and biomolecular techniques have led to increasing production of high-throughput experimental data. Spotted cDNA microarray is on...
Sarah Burgarella, Dario Cattaneo, Francesco Pincir...
DAC
2003
ACM
16 years 7 months ago
Behavioral consistency of C and verilog programs using bounded model checking
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
WETICE
1998
IEEE
15 years 10 months ago
Questionnaires: A Framework using Mobile Code for Component-Based Tele-Exams
Applications for computer supported cooperative work can gain from component models and frameworks. The framework for "questionnaires", which is described in this paper,...
Jakob Hummes, Arnd Kohrs, Bernard Mérialdo
ISWC
1998
IEEE
15 years 11 months ago
A Wearable Spatial Conferencing Space
Wearable computers provide constant access to computing and communications resources. In this paper we describe how the computing power of wearables can be used to provide spatial...
Mark Billinghurst, Jerry Bowskill, M. Jessop, Jaso...