2143 search results - page 153 / 429 » corr 2010 |
152
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
: This paper presents the overall design of a multi-agent framework for improving the performance of an application executing in a distributed environment. The multi-agent framewor...
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Nominal Logic is an extension of first-order logic with equality, name-binding, name-swapping, and freshness of names. Contrarily to higher-order logic, bound variables a...
164
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that ...
155
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--A multiple access channel and a point-to-point channel sharing the same medium for communications are considered. We obtain an outer bound for the capacity region of this...