5084 search results - page 133 / 1017 » Proving Possibility Properties |
167
click to vote
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
175
Voted
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
— From the Bayesian Ying-Yang (BYY) harmony learning theory, a harmony function has been developed for finite mixtures with a novel property that its maximization can make model...
144
click to vote
IFM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
191
click to vote
PODC
2000
ACM
15 years 10 months ago
2000
ACM
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...
120
click to vote
ISAAC
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We consider all planar oriented curves that have the following property depending on a fixed angle . For each point B on the curve, the rest of the curve lies inside a we...