Complexity, dynamism and overlays in networks and systems are some of the main challenges we face nowadays when reasoning on systems’ assurance and behavior. Security certification has shown to be a solid foundation to provide assurance and trust about system properties. This paper presents a certification framework for composite, layered and evolving systems, such as cloud systems or cyber phy...

We present a simple, intuitive algorithm for visualizing time-varying flow fields that can reveal complex flow structures with minimal user intervention. We apply this technique to a variety of biological systems, including the swimming currents of invertebrates and the collective motion of swarms of insects. We compare our results with more experimentally difficult and mathematically sophistic...

In fact, the development of a fully operational GIS for forest management will likely incorporate each activity as two distinct stages in its development (see Crain and MacDonald 1983, Jordan and Erdle 1990). For example, spatial data input, editing, and simple maps characterize the inventory and monitoring stage. In the modeling stage, overlays, reclassifications and suitability analyses are i...

Ž . A method to determine ground-penetrating radar GPR velocities, which utilize Brewster angles, is presented. The method determines the relative dielectric constant ratio at interface boundaries where the radar wave is traveling from a low-velocity to a high-velocity medium. Using Brewster angle analysis is currently the only means to determine the velocity of the medium below the deepest det...

PlanetLab testbed is widely used to evaluate protocols and applications under realistic Internet conditions, but this realism comes at the cost of uncontrolled topology and traffic behavior. The use of overlay networks on PlanetLab can solve this problem by giving more control to the experimenter. However, manually creating such overlays is far from simple, and existing solutions are either not...

We introduce an architecture for “Intradomain Overlays”, where a subset of routers within a domain is augmented with a dedicated host. These strategically placed hosts form an overlay network, and we describe a number of applications for such overlays. These applications include efficient network monitoring, policyand load-based packet re-routing, and network resource accounting. In this paper,...

Mesh-based P2P streaming approaches have been recently proposed as an interesting alternative to tree-based approaches. However, many properties of mesh overlays remain little understood as they are difficult to study due to the lack of a predefined structure. In this paper we show that when data is streamed through mesh overlays, it follows tree-based diffusion patterns and thereby mesh-based ...