搜索结果: 1-3 共查到“经济学 Reasoning”相关记录3条 . 查询时间(0.078 秒)
Accountability of Centralized Payment Systems: Formal Reasoning, Protocol Design and Analysis
Accountability Electronic payment Formal method Key generation and distribution Payment protocols
2011/9/26
Accountability is one of the most critical security properties of electronic payment protocols. It can be used to resolve disputes among involved parties. Several formal logics were proposed for reaso...
Accountability of Centralized Payment Systems: Formal Reasoning, Protocol Design and Analysis
Accountability Electronic payment Formal method Key generation and distribution Payment protocols
2011/9/26
Accountability is one of the most critical security properties of electronic payment protocols. It can be used to resolve disputes among involved parties. Several formal logics were proposed for reaso...
Microscopic reasoning for the non-linear stochastic models of long-range memory
microfoundations agent based models stochastic models fnancial markets long-range memory
2011/7/4
We extend Kirman's model by introducing variable event time scale. The proposed
exi-
ble time scale is equivalent to the variable trading activity observed in nancial markets.
Stochastic version ...