Sciweavers

1498 search results - page 209 / 300
» A Process Calculus for Mobile Ad Hoc Networks
Sort
View
GLOBECOM
2008
IEEE
13 years 8 months ago
Influence of Node Location Distributions on the Structure of Ad Hoc and Mesh Networks
We study the impact of the distribution of node locations on key properties of wireless networks. In particular, using Monte Carlo simulations we study in detail the behavior of av...
Janne Riihijärvi, Marina Petrova, Petri M&aum...
DAGSTUHL
2006
13 years 9 months ago
Managing power amongst a group of networked embedded fpgas using dynamic reconfiguration and task migration
Small unpiloted aircraft (UAVs) each have limited power budgets. If a group (swarm) of small UAVs is organised to perform a common task such as geo-location, then it is possible t...
David A. Kearney, Mark Jasiunas
FORTE
2008
13 years 9 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
HICSS
2002
IEEE
212views Biometrics» more  HICSS 2002»
14 years 1 months ago
Connectivity-Based k-Hop Clustering in Wireless Networks
Abstract. In this paper we describe several new clustering algorithms for nodes in a mobile ad hoc network. The main contribution is to generalize the cluster definition and forma...
Geng Chen, Fabian Garcia Nocetti, Julio Solano-Gon...
AINA
2008
IEEE
14 years 2 months ago
Towards a Usenet-Like Discussion System for Users of Disconnected MANETs
Applications that rely on the publish-subscribe model (such as those dedicated to news or event distribution) require a communication model whereby information can flow towards a...
Julien Haillot, Frédéric Guidec