1734 search results - page 196 / 347 » MSDR-D Network Localization Algorithm |
ENTCS
2007
15 years 22 days ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
136
click to vote
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
This work extends the existing static framework for joint flow control, routing and medium access control (MAC) in random access multi-hop wireless networks to a dynamic framewor...
102
Voted
ESA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Social networks are navigable small worlds, in which two arbitrary people are likely connected by a short path of intermediate friends that can be found by a "decent...
107
Voted
JSAC
2006
15 years 22 days ago
2006
Wireless local area network (WLAN) systems are widely implemented today to provide hot-spot coverage. Operated typically in an infrastructure mode, each WLAN is managed by an acces...
106
Voted
IJCNN
2007
IEEE
15 years 7 months ago
2007
IEEE
— The correct segmentation and measurement of mammography images is of fundamental importance for the development of automatic or computer-aided cancer detection systems. In this...