Sciweavers

607 search results - page 18 / 122
» There Is Something about Might
Sort
View
87
Voted
ASIACRYPT
2008
Springer
14 years 11 months ago
Ambiguous Optimistic Fair Exchange
Optimistic fair exchange (OFE) is a protocol for solving the problem of exchanging items or services in a fair manner between two parties, a signer and a verifier, with the help o...
Qiong Huang, Guomin Yang, Duncan S. Wong, Willy Su...
FMCAD
2008
Springer
14 years 11 months ago
Going with the Flow: Parameterized Verification Using Message Flows
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
Murali Talupur, Mark R. Tuttle
SPLC
2000
14 years 10 months ago
Value-based software engineering (VBSE)
: We consider a set of programs a family when it pays to look at their common aspects before looking at their differences. For commercial software developers the implications are t...
Stuart R. Faulk, Robert R. Harmon, David Raffo
MOR
2008
81views more  MOR 2008»
14 years 9 months ago
Risk Tuning with Generalized Linear Regression
A framework is set up in which linear regression, as a way of approximating a random variable by other random variables, can be carried out in a variety of ways, which moreover ca...
R. Tyrrell Rockafellar, Stan Uryasev, Michael Zaba...
JCB
2007
191views more  JCB 2007»
14 years 9 months ago
Bayesian Haplotype Inference via the Dirichlet Process
The problem of inferring haplotypes from genotypes of single nucleotide polymorphisms (SNPs) is essential for the understanding of genetic variation within and among populations, ...
Eric P. Xing, Michael I. Jordan, Roded Sharan