7300 search results - page 1271 / 1460 » Multi-modal network protocols |
164
click to vote
MDM
2010
Springer
15 years 11 months ago
2010
Springer
Abstract—Data-based agreement is increasingly used to implement traceable coordination across mobile entities such as adhoc networked (autonomous) vehicles. In our work, we focus...
186
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we present a detailed analysis of the application of Genetic Programming to the evolution of distributed algorithms. This research field has many facets which make...
195
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
161
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We document our initial e orts to instantiate visuallyguided cooperative behaviors between robotic agents in the minifactory environment. Minifactory incorporates high-precision 2...
195
click to vote
FMSP
2000
ACM
15 years 11 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...