6978 search results - page 111 / 1396 » On Proofs in System P |
119
click to vote
DEXAW
2007
IEEE
15 years 1 months ago
2007
IEEE
A number of factors, such as the increasing popularity of wireless networks, the opportunities offered by 3G services, and the rapid proliferation of mobile devices, have stimulat...
104
click to vote
LOGCOM
1998
14 years 9 months ago
1998
Sound and complete modal propositional logic C is presented, in which 2P has the interpretation “ P is true in all states”. The interpretation is already known as the Carnapia...
105
click to vote
SAS
2007
Springer
15 years 4 months ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
In this poster, we present the P2P XML data localization layer of XLive, an XQuery mediation system developed at University of Versailles [2]. A major challenge in the evaluation ...
116
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We study the problem of maximizing the broadcast rate in peer-to-peer (P2P) systems under node degree bounds, i.e., the number of neighbors a node can simultaneously connect to is ...