6978 search results - page 385 / 1396 » On Proofs in System P |
174
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
174
click to vote
VMCAI
2004
Springer
16 years 6 days ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
159
click to vote
AIIA
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Efficiency of the first-order logic proof procedure is a major issue when deduction systems are to be used in real environments, both on their own and as a component of ...
173
click to vote
IANDC
2008
15 years 7 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
176
Voted
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Gossip-based Peer-to-Peer(P2P) streaming has been proved to be an effective and resilient method to stream qualified media contents in dynamic and heterogeneous network environme...