Sciweavers

268 search results - page 27 / 54
» Simple Adaptive Mosaic Effects
Sort
View
ICC
2008
IEEE
108views Communications» more  ICC 2008»
14 years 2 months ago
Delay-Differentiated Gossiping in Delay Tolerant Networks
— Delay Tolerant Networks are increasingly being envisioned for a wide range of applications. Many of these applications need support for quality of service (QoS) differentiation...
Parameswaran Ramanathan, Aarti Singh
INFOCOM
2000
IEEE
14 years 25 days ago
Differentiated Admission Control in Large Networks
Abstract—This paper proposes a simple but effective admission control algorithm for integrated services packet networks. The admission control scheme, based on stochastic control...
Cedric Adjih, Philippe Jacquet, Philippe Robert
ANTSW
2010
Springer
13 years 6 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
13 years 6 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
TMC
2012
11 years 10 months ago
MAC in Motion: Impact of Mobility on the MAC of Drive-Thru Internet
—The pervasive adoption of IEEE 802.11 radios in the past decade has made possible for the easy Internet access from a vehicle, notably drive-thru Internet. Originally designed f...
Tom H. Luan, Xinhua Ling, Xuemin Shen