Sciweavers

10462 search results - page 119 / 2093
» Towards a
Sort
View
CHI
2009
ACM
14 years 10 months ago
Dying, death, and mortality: towards thanatosensitivity in HCI
What happens to human-computer "interaction" when the human user is no longer alive? This exploratory paper uses insights from the critical humanist tradition to argue f...
Michael Massimi, Andrea Charise
SPAA
2009
ACM
14 years 10 months ago
Towards transactional memory semantics for C++
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...
Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert ...
CAV
2009
Springer
176views Hardware» more  CAV 2009»
14 years 10 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
TCC
2009
Springer
117views Cryptology» more  TCC 2009»
14 years 10 months ago
Towards a Theory of Extractable Functions
Extractable functions are functions where any adversary that outputs a point in the range of the function is guaranteed to "know" a corresponding preimage. Here, knowledg...
Ran Canetti, Ronny Ramzi Dakdouk