With the growing commercial importance of the Internet and the development of new real-time, connection-oriented services like streaming technologies or IP-telephony, network resilience is becoming a key issue in the design of IP-based networks. Several IETF drafts and a framework proposal are discussed in the MPLS working group presenting different recovery mechanisms and strategies. This pape...

Aspect-oriented programming (AOP) is a promising field for reducing application complexity. However, it has proven difficult to implement weavers for general purpose languages. Nevertheless, we felt some functionality for our information flow abstraction, Infopipes, might be best captured in aspects. In this paper, we describe a weaver built for domain specific languages (DSLs) related to Infop...

The IEEE 802.11e standard was introduced to overcome the lack of QoS support for the legacy IEEE 802.11 WLANs. It enhances the Media Access Control (MAC) layer operations to incorporate service differentiation. However, there is a need to prevent overloading of wireless channels since the QoS experienced by traffic flows is degraded with heavily loaded channels. An admission control scheme for ...

The use of network based traffic classification to differentiate aggregate traffic has been introduced with the development of new Internet service architectures, especially with the Differentiated Services. We present measurements and analysis of various packet and flow statistics to aid in classifying or differentiating traffic flows according to the application nature. Our study on methods t...

Direct numerical simulations are used to study mixing and dispersion in decaying stably stratified turbulence from a Lagrangian perspective. The change in density of fluid particles owing to small-scale mixing is extracted from the simulations to provide insight into the mixing process. These changes are driven by temporally and spatially intermittent events that are strongly suppressed as the ...

This work introduces ANB (Ant Algorithm for Non-Bifurcated Flows), a novel approach to capacitated static optimization of flows in connection-oriented computer networks. The problem considered arises naturally from several optimization problems that have recently received significant attention. The proposed ANB is an ant algorithm motivated by recent works on the application of the ant algorith...

THE CITY OF HILa, on the island of Hawaii, lies on the flank of one of the world 's most active volcanoes, Mauna Loa. For more than a century the danger of destruction of the city by lava flows has been recognized. Old documents recount the apprehension with which Hilo residents watched the advance of the lava flows of 1852 and 1855. In 1881 concern was even greater, as the flow front crawled w...

Ranging from firmware to cloud services, software is an essential part of almost any imaginable system, or at the very least assists us in their design or maintenance. The sheer complexity and sophisticated concepts of today’s software products thus demand for solutions that assist us in assuring their quality. We aim to contribute in this direction by proposing a fault localization approach fo...

Architectural analysis for style checking and transformations can include analysis of gross structure (topology) together with analysis of behavior. In this paper, we investigate such integrated analyses in the context of C2-style architectures. We apply flow analysis in a novel way to the structure and behavior of C2-style message bus architectures to discover groups of components that can be ...

This paper presents an approach to specify and check discretionary information flow properties of concurrent systems. The approach is inspired by the success of the interaction-oriented paradigm to concurrent systems (cf. choreographies, behavioural types, protocols,...) in providing behavioural guarantees of global properties such as deadlock-absence. We show how some information flow properti...