FORMAL MODELING OF GREEDY NODES IN 802.15.4 WSN

Formal Modeling of Greedy Nodes in 802.15.4 WSN

This paper deals with formal specification of the non-slotted CSMA/CA protocol in wireless sensor networks(WSN) whose some nodes own a greedy behavior.This protocol requires sensor nodes to wait Oven Mitts some time before initiating a transmission, whereas greedy nodes may try to reduce their waiting duration, which may penalize other nodes.To ana

read more

The Network of Spanish Science in Exile

Spanish science in exile operated as a network of networks.Its dynamics help us understand the deep imprint that exiled scientists left in their host countries.The network was characterized by Bike Accessories - Other - Closeouts its tendency to maintain links that had existed before the Spanish Civil War and the establishment of alliances with mul

read more


libcloudph++ 1.0: a single-moment bulk, double-moment bulk, and particle-based warm-rain microphysics library in C++

This paper introduces a library of Laxatives algorithms for representing cloud microphysics in numerical models.The library is written in C++, hence the name libcloudph++.In the current release, the library covers three warm-rain schemes: the single- and double-moment bulk schemes, and the particle-based scheme with Monte Carlo coalescence.The thre

read more