Sciweavers

1675 search results - page 1 / 335
» The Value of a Good Name
Sort
View
50
Voted
COMPUTER
2010
58views more  COMPUTER 2010»
15 years 13 days ago
The Value of a Good Name
David Alan Grier
135
Voted
TLCA
2005
Springer
15 years 5 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
232
Voted
POPL
2001
ACM
16 years 19 days 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
ATAL
2008
Springer
15 years 2 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