Sciweavers

2546 search results - page 169 / 510
» In support of city exploration
Sort
View
HUC
2009
Springer
15 years 11 months ago
Understanding file access mechanisms for embedded Ubicomp collaboration interfaces
This paper explores the nature of interfaces to support people in accessing their files at tabletop displays embedded in the environment. To do this, we designed a study comparin...
Anthony Collins, Anastasia Bezerianos, Gregor McEw...
ISSS
1999
IEEE
120views Hardware» more  ISSS 1999»
15 years 10 months ago
RTGEN: An Algorithm for Automatic Generation of Reservation Tables from Architectural Descriptions
Abstract--Reservation Tables (RTs) have long been used to detect conflicts between operations that simultaneously access the same architectural resource. Traditionally, these RTs h...
Peter Grun, Ashok Halambi, Nikil D. Dutt, Alexandr...
IJFCS
2007
79views more  IJFCS 2007»
15 years 6 months ago
Intra-Molecular Template-Guided Recombination
The stichotrichous ciliates are uni-cellular organisms which undergo a series of complex unscrambling of genetic encodings. This ability to rearrange DNA to produce the correct pr...
Mark Daley, Michael Domaratzki, Alexis Morris
CSCW
2002
ACM
15 years 6 months ago
Sharing and building digital group histories
Organizations, families, institutions evolve a shared culture and history. In this work, we describe a system to facilitate conversation and storytelling about this collective pas...
Chia Shen, Neal Lesh, Frédéric Verni...
SPIN
2009
Springer
16 years 29 days ago
Subsumer-First: Steering Symbolic Reachability Analysis
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
Andrey Rybalchenko, Rishabh Singh