Sciweavers

71 search results - page 11 / 15
» A Decision-based View of Causality
Sort
View
CHI
2001
ACM
14 years 10 months ago
Accuracy measures for evaluating computer pointing devices
In view of the difficulties in evaluating computer pointing devices across different tasks within dynamic and complex systems, new performance measures are needed. This paper prop...
I. Scott MacKenzie, Tatu Kauppinen, Miika Silfverb...
ESOP
2010
Springer
14 years 7 months ago
Generative Operational Semantics for Relaxed Memory Models
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
Radha Jagadeesan, Corin Pitcher and James Riely
HIPC
2007
Springer
14 years 4 months ago
P2P Document Tree Management in a Real-Time Collaborative Editing System
This paper presents our work in combining peer-to-peer dynamic tree management with hierarchical Operational Transformation (OT) over document trees to achieve low computational an...
Jon A. Preston, Sushil K. Prasad
ISIPTA
2005
IEEE
155views Mathematics» more  ISIPTA 2005»
14 years 3 months ago
Estimation of Chaotic Probabilities
A Chaotic Probability model is a usual set of probability measures, M, the totality of which is endowed with an objective, frequentist interpretation as opposed to being viewed as...
Leandro Chaves Rêgo, Terrence L. Fine
SP
1998
IEEE
116views Security Privacy» more  SP 1998»
14 years 2 months ago
Strand Spaces: Why is a Security Protocol Correct?
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Gu...