Sciweavers

1950 search results - page 83 / 390
» Two Abstractions for Distributed Systems of Mobile Nodes
Sort
View
120
Voted
SSS
2007
Springer
15 years 11 months ago
Global Predicate Detection in Distributed Systems with Small Faults
Abstract. We study the problem of global predicate detection in presence of permanent and transient failures. We term the transient failures as small faults. We show that it is imp...
Felix C. Freiling, Arshad Jhumka
ICWMC
2006
IEEE
15 years 11 months ago
Mobility Models for UAV Group Reconnaissance Applications
In MANET research the mobility of the nodes is often described using standard synthetic models. Given a particular application, e.g. networks of unmanned aerial vehicles (UAVs) pe...
Erik Kuiper, Simin Nadjm-Tehrani
ICMCS
1994
IEEE
85views Multimedia» more  ICMCS 1994»
15 years 9 months ago
Synchronization of Temporal Constructs in Distributed Multimedia Systems with Controlled Accuracy
Abstract. Withthe inceptionof technology in communication networks suchasATM, it will be possible to run multimedia applications on future integrated networks. Synchronizationof th...
Sang Hyuk Son, Nipun Agarwal
COORDINATION
2008
Springer
15 years 6 months ago
A Process Calculus for Mobile Ad Hoc Networks
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
154
Voted
FAABS
2004
Springer
15 years 10 months ago
A Formal Analysis of Potential Energy in a Multi-agent System
Abstract. This paper summarizes a novel framework, called “physicomimetics,” for the distributed control of large collections of mobile physical agents in sensor networks. The ...
William M. Spears, Diana F. Spears, Rodney Heil