As the Wireless Sensor Networks (WSNs) continue to evolve, it becomes more and more important. Furthermore, no one can deny that Quality of Services (QoSs) is still one of the most important areas in this domain. In this paper, a system for guaranteeing WSN QoS is proposed. The idea of this system is to use ...

In this paper, the authors present a tool based on a combination of symbolic execution and real-time model checking for timing analysis of Java systems. Symbolic execution is used for the generation of a safe and tight timing model of the analyzed system capturing the feasible execution paths. The model is combined with suitable execution ...

Research on 5G mobile wireless technologies has been very active in both academia and industry in the past few years. It has been quite clear, however, that there would be no single enabling technology that can achieve all diverse and even conflicting 5G requirements. In general, many fundamental changes and innovations to re-engineer the overall ...

In this paper, the authors introduce a new metric, namely, Effective Area Spectral Efficiency (EASE), to quantify the spectral efficiency as well as the spatial properties of point-to-point transmission systems and Decode and Forward (DF) relaying communications networks with interference management. For each transmission mode, they derive a closed-form expression for the maximum transmission range ...

In Delay Tolerant Networks (DTNs), the network may not be fully connected at any instant of time, but connections occurring between nodes at different times make the network connected through the entire time continuum. In such a case, traditional routing methods fail to operate because there are no contemporaneous end-to-end paths between sources and destinations. ...

Long-Term Evolution (LTE) was implemented to fulfill and satisfy users’ needs as well as their demands for an improvised, fast and efficient Quality of Service (QoS). A minimal aggregate of waiting time in return would give users a better Quality of Experience (QoE). Real-time service packet scheduling is an important process in allocating resources to ...

In a virtualized environment, different virtual networks can operate over the same physical infrastructure. Each virtual network has its own protocols and shares the available resources, thus highlighting the need of resource isolation mechanisms. Investigating the isolation mechanisms provided by FlowVisor, the authors have discovered vulnerabilities previously unknown regarding addressing space isolation. They show that, ...

The possibility of having information access anytime and anywhere has caused a huge increase of the popularity of wireless networks. Requirements of users and owners have been ever-increasing. However, concerns about the potential health impact of exposure to Radio Frequency (RF) sources have arisen and are getting accounted for in wireless network planning. In addition ...

In this paper, the authors present a methodology for the modelling and optimization of multi-service radio access for Universal Mobile Telecommunications System (UMTS) networks. The paper provides a description of the basis for modelling of a tandem pair: a Wideband Code Division Multiple Access (WCDMA) interface and an interface. The models involved in the study ...

In this paper, the authors deal with the localization problem in wireless sensor networks, where a target sensor location must be estimated starting from few measurements of the power present in a radio signal received from sensors with known locations. Inspired by the recent advances in sparse approximation, the localization problem is recast as a ...