6978 search results - page 11 / 1396 » On Proofs in System P |
132
click to vote
IEEEARES
2009
IEEE
16 years 16 days 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...
151
click to vote
ATVA
2009
Springer
16 years 9 days 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...
180
click to vote
JCP
2008
15 years 5 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...