Sciweavers

1675 search results - page 1 / 335
» The Value of a Good Name
Sort
View
51
Voted
COMPUTER
2010
58views more  COMPUTER 2010»
15 years 1 months ago
The Value of a Good Name
David Alan Grier
146
Voted
TLCA
2005
Springer
15 years 6 months ago
Call-by-Name and Call-by-Value as Token-Passing Interaction Nets
Two common misbeliefs about encodings of the λ-calculus in interaction nets (INs) are that they are good only for strategies that are not very well understood (e.g. optimal reduct...
François-Régis Sinot
240
Voted
POPL
2001
ACM
16 years 1 months ago
Mobile values, new names, and secure communication
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
Cédric Fournet, Martín Abadi
128
Voted
ATAL
2008
Springer
15 years 3 months ago
A few good agents: multi-agent social learning
In this paper, we investigate multi-agent learning (MAL) in a multi-agent resource selection problem (MARS) in which a large group of agents are competing for common resources. Si...
Jean Oh, Stephen F. Smith