4075 search results - page 84 / 815 » Modeling Distributed Algorithm Using B |
IPSN
2004
Springer
14 years 2 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, ...
COMPUTER
2006
13 years 9 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...
PROMS
2001
Springer
14 years 1 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...
CORR
2012
Springer
12 years 5 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...
IROS
2008
IEEE
14 years 3 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...