6978 search results - page 11 / 1396 » On Proofs in System P |
IMA
2009
Springer
14 years 2 months ago
2009
Springer
PKC
2010
Springer
13 years 11 months ago
2010
Springer
IEEEARES
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper we show that it is possible to implement a perfect failure detector P (one that detects all faulty processes if and only if those processes failed) in a non-synchr...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
JCP
2008
13 years 7 months ago
2008
In order to implement both the efficiency and security in the Peer-to-Peer (P2P) network, we design a trusted small world overlay P2P network with the role based and reputation bas...