Sciweavers

268 search results - page 27 / 54
» Simple Adaptive Mosaic Effects
Sort
View
ICC
2008
IEEE
108views Communications» more  ICC 2008»
15 years 4 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
15 years 2 months 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
14 years 8 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»
14 years 7 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
13 years 8 days 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