4075 search results - page 587 / 815 » Modeling Distributed Algorithm Using B |
168
click to vote
COOPIS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...
164
click to vote
AAAI
2007
15 years 9 months ago
2007
We consider problems of geometric exploration and selfdeployment for simple robots that can only sense the combinatorial (non-metric) features of their surroundings. Even with suc...
156
click to vote
WSC
2004
15 years 8 months ago
2004
An interactive tool has been developed for visualizing and creating scaled battlefield based scenarios for use in a simulation testbed to develop and test distributed data fusion ...
184
click to vote
MSWIM
2004
ACM
16 years 1 days ago
2004
ACM
Today, three different physical (PHY) layers for the IEEE 802.11 WLAN are available (802.11a/b/g); they all provide multi-rate capabilities. To achieve a high performance under v...
158
click to vote
RECOMB
1998
Springer
15 years 10 months ago
1998
Springer
The task of computing molecular structure from combinations of experimental and theoretical constraints is expensive because of the large number of estimated parameters (the 3D co...