Sciweavers

3362 search results - page 25 / 673
» A definition of subjective possibility
Sort
View
SIAMDM
2010
105views more  SIAMDM 2010»
14 years 6 months ago
On the Relative Generalized Hamming Weights of Linear Codes and their Subcodes
We first present an equivalent definition of relative generalized Hamming weights of a linear code and its subcodes, and we develop a method using finite projective geometry. Makin...
Zihui Liu, Jie Wang, Xin-Wen Wu
TISSEC
2010
237views more  TISSEC 2010»
14 years 6 months ago
BLAC: Revoking Repeatedly Misbehaving Anonymous Users without Relying on TTPs
Several credential systems have been proposed in which users can authenticate to service providers anonymously. Since anonymity can give users the license to misbehave, some varia...
Patrick P. Tsang, Man Ho Au, Apu Kapadia, Sean W. ...
ICFP
2008
ACM
15 years 11 months ago
Transactional events for ML
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
Laura Effinger-Dean, Matthew Kehrt, Dan Grossman
IUI
2000
ACM
15 years 4 months ago
Expression constraints in multimodal human-computer interaction
Thanks to recent scientific advances, it is now possible to design multimodal interfaces allowing the use of speech and pointing out gestures on a touchscreen. However, present sp...
Sandrine Robbe-Reiter, Noelle Carbonell, Pierre Da...
CSFW
1992
IEEE
15 years 3 months ago
Causal Security
This paper gives a new definition of Security, which takes causal information into account. The new definition can be used to determine the security of nondeterministic concurrent...
Miranda Mowbray