918 search results - page 49 / 184 » Speculative Issue Logic |
126
click to vote
CCR
2005
15 years 6 months ago
2005
-- A protocol that supports the sharing of resources that exist in different packet switching networks is presented. The protocol provides for variation in individual network packe...
150
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
137
click to vote
JURIX
2008
15 years 7 months ago
2008
This paper extends our previous logical analysis of presumptions and burden of proof by studying the force of a presumption once counterevidence has been offered. In the jurisprude...
139
click to vote
AAAI
1998
15 years 7 months ago
1998
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
140
click to vote
JCIT
2010
15 years 26 days ago
2010
An important and fundamental issue in designing structured peer-to-peer networks is the tradeoff between the number of logical links and the number of hops. We present a flexible ...