91 search results - page 1 / 19 » Symmetries, local names and dynamic (de)-allocation of names |
IANDC
2010
13 years 3 months ago
2010
The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories. This elegant theory lacks finiteness properties, hence it is not ap...
LICS
2000
IEEE
13 years 9 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
LCN
2005
IEEE
13 years 10 months ago
2005
IEEE
Name services for mobile ad hoc networks are essential to discover and bind resources given by their name or URI to a specific network address. As there is no fixed infrastructure...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
We investigate a prototypical agent-based model, the Naming Game, on random geometric networks. The Naming Game is a minimal model, employing local communications that captures th...
ICPR
2006
IEEE
14 years 5 months ago
2006
IEEE
Reference point detection is an important process for fingerprint analysis. In this paper, we propose a novel feature which is named local axial symmetry (LAS) and present an algo...