3552 search results - page 394 / 711 » Proof theory in the abstract |
174
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— A fundamental paradigm in peer-to-peer (P2P) content distribution is that of a large community of intermittentlyconnected nodes that cooperate to share files. Because ...
178
click to vote
AI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Large document collections, such as those delivered by Internet search engines, are difficult and time-consuming for users to read and analyse. The detection of common an...
177
click to vote
CONCUR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
179
click to vote
ECSQARU
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. There has recently been many proposals to adopt an argumentative approach to decision-making. As the underlying assumptions made in these different approaches are not al...
157
click to vote
ICICS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In a paper published in FSE 2007, a way of obtaining nearcollisions and in theory also collisions for the FORK-256 hash function was presented [8]. The paper contained ex...