4075 search results - page 84 / 815 » Modeling Distributed Algorithm Using B |
141
click to vote
IPSN
2004
Springer
15 years 9 months ago
2004
Springer
We describe a novel method for node localization in a sensor network where there are a fraction of reference nodes with known locations. For application-specific sensor networks, ...
148
click to vote
COMPUTER
2006
15 years 4 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
149
click to vote
PROMS
2001
Springer
15 years 8 months ago
2001
Springer
A lot of attention has been given to network quality of service and efforts to make layers on top of the network also QoS-aware increase noticeably. This paper explores QoS-aware s...
148
click to vote
CORR
2012
Springer
13 years 11 months ago
2012
Springer
d Abstract) James Allen Fill1† 1 Department of Applied Mathematics and Statistics, The Johns Hopkins University, 34th and Charles Streets, Baltimore, MD 21218-2682 USA received 2...
129
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— We describe algorithms to build self-assembling robot systems composed of active modular robots and passive bars. The distributed algorithms are based on locally optimal matchi...