709 search results - page 42 / 142 » coordination 2010 |
142
click to vote
COORDINATION
2010
Springer
15 years 6 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
157
click to vote
COORDINATION
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
130
click to vote
WG
2010
Springer
15 years 4 months ago
2010
Springer
We prove that for sufficiently large n, there exist unit disk graphs on n vertices such that for every representation with disks in the plane at least c √ n bits are needed to wr...
158
click to vote
MASCOTS
2010
15 years 7 months ago
2010
In this paper, we address the problem of low-latency routing in a vehicular highway network. To cover long highways while minimizing the number of required roadside access points,...
133
click to vote
ECCC
2010
15 years 5 months ago
2010
A linear code is said to be affine-invariant if the coordinates of the code can be viewed as a vector space and the code is invariant under an affine transformation of the coordin...