Sciweavers

3047 search results - page 529 / 610
» A Temporal Consensus Model
Sort
View
KDD
2003
ACM
162views Data Mining» more  KDD 2003»
16 years 2 months ago
Improving spatial locality of programs via data mining
In most computer systems, page fault rate is currently minimized by generic page replacement algorithms which try to model the temporal locality inherent in programs. In this pape...
Karlton Sequeira, Mohammed Javeed Zaki, Boleslaw K...
CHI
2008
ACM
16 years 1 months ago
The design of gaze behavior for embodied social interfaces
Non-verbal behavior, particularly gaze, is a crucial part of human communication. To interact with humans in a rich, natural way, social interfaces need to use this communicative ...
Bilge Mutlu
CHI
2007
ACM
16 years 1 months ago
Citizen communications in crisis: anticipating a future of ICT-supported public participation
Recent world-wide crisis events have drawn new attention to the role information communication technology (ICT) can play in warning and response activities. Drawing on disaster so...
Leysia Palen, Sophia B. Liu
VLDB
2009
ACM
165views Database» more  VLDB 2009»
16 years 1 months ago
Online pairing of VoIP conversations
This paper answers the following question; given a multiplicity of evolving 1-way conversations, can a machine or an algorithm discern the conversational pairs in an online fashio...
Michail Vlachos, Aris Anagnostopoulos, Olivier Ver...
ICSE
2008
IEEE-ACM
16 years 1 months ago
Security protocols, properties, and their monitoring
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
Andreas Bauer 0002, Jan Jürjens