288 search results - page 7 / 58 » Language support for processing distributed ad hoc data |
131
click to vote
TWC
2010
14 years 6 months ago
2010
In this paper we consider practical dissemination algorithms exploiting network coding for data broadcasting in ad hoc wireless networks. For an efcient design, we analyze issues r...
125
click to vote
MOBIHOC
2004
ACM
15 years 5 months ago
2004
ACM
Mobile Ad Hoc Networks (MANETs) provide rapidly deployable and self-configuring network capacity required in many critical applications, e.g., battlefields, disaster relief and ...
98
Voted
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
115
Voted
EUROPAR
2003
Springer
15 years 4 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...