10935 search results - page 1887 / 2187 » Neural Programming Language |
196
click to vote
ICALP
2003
Springer
16 years 3 days ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
159
click to vote
ICALP
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Consider a set of n > 2 simple autonomous mobile robots (decentralized, asynchronous, no common coordinate system, no identities, no central coordination, no direct co...
191
click to vote
ICALP
2003
Springer
16 years 3 days ago
2003
Springer
We study the number of steps required to reach a pure Nash Equilibrium in a load balancing scenario where each job behaves selfishly and attempts to migrate to a machine which will...
168
click to vote
ICALP
2003
Springer
16 years 3 days ago
2003
Springer
We consider the issues of implicitness and cache-obliviousness in the classical dictionary problem for n distinct keys over an unbounded and ordered universe. One finding in this ...
193
click to vote
ICALP
2003
Springer
16 years 3 days ago
2003
Springer
We consider the general on-line two server problem in which at each step both servers receive a request, which is a point in a metric space. One of the servers has to be moved to i...