Sciweavers

3886 search results - page 468 / 778
» Toward Recovery-Oriented Computing
Sort
View
CHI
2005
ACM
16 years 7 months ago
Interrupted cognition and design for non-disruptiveness: the skilled memory approach
Interruptions have gained in importance as a topic in current HCI research. Through a series of experiments, we take a step toward analyzing the active role of human memory in con...
Antti Oulasvirta
CHI
2002
ACM
16 years 7 months ago
GAZE-2: an attentive video conferencing system
GAZE-2 is an attentive video conferencing system that conveys whom users are talking to by measuring whom a user looks at and then rotating his video image towards that person in ...
Roel Vertegaal, Ivo Weevers, Changuk Sohn
AINA
2009
IEEE
16 years 1 months ago
TopDNS: Experiences Building Internet-Based Topologies with GNP
Building realistic Internet topologies is an important step towards predicting the behavior of new distributed applications and protocols. We are creating topologies that predict ...
Gert Pfeifer, Christof Fetzer
CSE
2008
IEEE
16 years 1 months ago
Parallel Modeling of Fish Interaction
This paper summarizes our work on a parallel algorithm for an interacting particle model, derived from the model by Czirok, Vicsek, et. al. [3, 4, 5, 13, 14]. Our model is particu...
Lamia Youseff, Alethea B. T. Barbaro, Peterson F. ...
NCA
2008
IEEE
16 years 1 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou