Sciweavers

5918 search results - page 809 / 1184
» A view of cloud computing
Sort
View
PODC
2009
ACM
16 years 7 months ago
Correctness of gossip-based membership under message loss
Due to their simplicity and effectiveness, gossip-based membership protocols have become the method of choice for maintaining partial membership in large P2P systems. A variety of...
Maxim Gurevich, Idit Keidar
CAV
2009
Springer
134views Hardware» more  CAV 2009»
16 years 7 months ago
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
Alexander Wenner, Markus Müller-Olm, Peter La...
CHI
2008
ACM
16 years 7 months ago
Ambient social tv: drawing people into a shared experience
We examine how ambient displays can augment social television. Social TV 2 is an interactive television solution that incorporates two ambient displays to convey to participants a...
Gunnar Harboe, Crysta J. Metcalf, Frank Bentley, J...
CHI
2008
ACM
16 years 7 months ago
Evaluating visual cues for window switching on large screens
An increasing number of users are adopting large, multimonitor displays. The resulting setups cover such a broad viewing angle that users can no longer simultaneously perceive all...
Raphael Hoffmann, Patrick Baudisch, Daniel S. Weld
CHI
2008
ACM
16 years 7 months ago
Collaborative interaction with volumetric displays
Volumetric displays possess a number of unique properties which potentially make them particularly suitable for collaborative 3D applications. Because such displays have only rece...
Tovi Grossman, Ravin Balakrishnan