Sciweavers

4172 search results - page 373 / 835
» Computing Machinery and Understanding
Sort
View
SIGMETRICS
2005
ACM
119views Hardware» more  SIGMETRICS 2005»
16 years 11 days ago
Characterizing the two-tier gnutella topology
Characterizing the properties of peer-to-peer (P2P) overlay topologies in file-sharing applications is essential for understanding their impact on the network, identifying their ...
Daniel Stutzbach, Reza Rejaie
ATAL
2005
Springer
16 years 10 days ago
The induction of communication protocols
This paper describes our preliminary analysis on the induction of communication protocols. Our work has two goals: (i) to recognize rules (i.e. protocols) from the communicative b...
Nik Nailah Binti Abdullah
ATAL
2005
Springer
16 years 10 days ago
Reliable group communication and institutional action in a multi-agent trading scenario
This paper proposes the use of reliable group communication as a complement to traditional asynchronous messaging in multi-agent systems. In particular, the mechanism of message p...
Stephen Cranefield
CIE
2005
Springer
16 years 10 days ago
A Thread Algebra with Multi-level Strategic Interleaving
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
Jan A. Bergstra, C. A. Middelburg
EPIA
2005
Springer
16 years 10 days ago
Operational Semantics for DyLPs
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
Federico Banti, José Júlio Alferes, ...