Sciweavers

3701 search results - page 396 / 741
» Anatomical Information Science
Sort
View
TDSC
2011
15 years 2 months ago
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...
Marco Serafini, Péter Bokor, Neeraj Suri, J...
TCS
2010
15 years 2 months ago
A fluid analysis framework for a Markovian process algebra
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
Richard A. Hayden, Jeremy T. Bradley
215
Voted
CSCW
2011
ACM
15 years 2 months ago
(Whose) value-sensitive design: a study of long- distance relationships in an Arabic cultural context
This paper describes a qualitative study of how 11 Arab individuals use technology in the context of their longdistance romantic relationships. Our participants’ communication p...
Tamara Alsheikh, Jennifer A. Rode, Siân E. L...
273
Voted
CHI
2011
ACM
14 years 11 months ago
The polymath project: lessons from a successful online collaboration in mathematics
Although science is becoming increasingly collaborative, there are remarkably few success stories of online collaborations between professional scientists that actually result in ...
Justin Cranshaw, Aniket Kittur
229
Voted
IACR
2011
105views more  IACR 2011»
14 years 7 months ago
Leakage Tolerant Interactive Protocols
We put forth a framework for expressing security requirements from interactive protocols in the presence of arbitrary leakage. This allows capturing different levels of leakage to...
Nir Bitansky, Ran Canetti, Shai Halevi