3938 search results - page 326 / 788 » Interactive Protocols on the Reals |
157
click to vote
RAS
2006
15 years 6 months ago
2006
This article introduces a new software tool that provides an accurate simulation of Sony Aibo robots and the capability to transfer controller programs from the simulation to the ...
199
click to vote
SIGMETRICS
2010
ACM
15 years 5 months ago
2010
ACM
Many network-management problems in large backbone networks need the answer to a seemingly simple question: where does a given IP packet, entering the network at a particular plac...
176
click to vote
PRIMA
2004
Springer
16 years 2 days ago
2004
Springer
We are concerned with forms of interaction in which multiple users, with differing agendas and interests, may realise opportunities for useful synchronisation of their activities. ...
164
click to vote
IAT
2003
IEEE
16 years 8 hour ago
2003
IEEE
The formation of a Virtual Enterprise and the selection of its partners is an important process in the lifecycle of a Virtual Enterprise. In this paper, we present the Virtual Ent...
183
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...