The design and validation of distributed applications built on top of Publish-Subscribe infrastructures remain an open problem. Previous efforts adopted finite automata to specify the components’ behavior, and model checking to verify global properties. However, existing proposals are far from being applicable in real contexts, as strong simplifications are needed on the underlying Publish-Subs...

During the past 10 years, the Internet has become a vital component of international commerce, interpersonal communication, and technological development. Network measurement is critical to this new communication medium’s continued viability. Researchers, service providers, and other members of the Internet community need to understand the Internet’s growth characteristics and the limitations a...

The increasing dependence of human society on information technology (IT) systems requires appropriate measures to cope with their misuse. The growing potential of threats, which make these systems more and more vulnerable, is caused by the complexity of the technologies themselves. The potential of threats in networked systems will further grow as well as the number of individuals who are able...

This paper discusses a novel approach to specificationbased intrusion detection in the field of networked control systems. Our approach reduces the substantial human effort required to deploy a specification-based intrusion detection system by automating the development of its specification rules. We observe that networked control systems often include comprehensive documentation used by operat...

Disasters are characterised by their devastating effect on human lives and the society’s ability to function. Unfortunately, rescue operations and the possibility to re-establish a working society after such events is often hampered by the lack of functioning communication infrastructures. This paper describes the challenges ahead in creating new communication networks to support postdisaster o...

Abstract Increased number of the vehicles on streets around world has led to several problems including traffic congestion, emissions, and huge fuel consumption in many regions. With advances wireless technologies, Intelligent Transportation System (ITS) been introduced as a viable solution for solving these by implementing more efficient use current infrastructures. In this paper, possibility ...

Future infrastructures for energy, traffic, and computing will be virtualized: they will consist of decentralized, self-organizing, dynamically adaptive, and open collections of physical resources such as virtual power plants or computing clouds. Challenges to software dependability, in particular software security will be enourmous. While the problems in this domain transcend any specific inst...

creating a clear purposeful image of a city in the minds of its stakeholders –especially its residents- could attract more investors, tourists and immigrants. urban management has received a remarkable attention in recent years. one of the most interesting topics in urban management is the concept of identity and especially image. as well as organizations and persons we can depict images for ci...

This chapter details how Big Data can be used and implemented in networking and computing infrastructures. Specifically, it addresses three main aspects: the timely extraction of relevant knowledge from heterogeneous, and very often unstructured large data sources; the enhancement on the performance of processing and networking (cloud) infrastructures that are the most important foundational pi...